Re: [jdt-dev] Accidental push -- branch policy?

[Stephan Herrmann <stephan.herrmann@xxxxxxxxx>]

I tried, but that checkbox is disabled, its tooltip saying:
"Delete specification is always unconditional"

<shrug/>

On 23.04.19 16:34, Daniel Megert wrote:
> Did you try to set the 'Force Push' flag/checkbox?
>
> Dani
>
>
>
> From: Stephan Herrmann <stephan.herrmann@xxxxxxxxx>
> To: jdt-dev@xxxxxxxxxxx
> Date: 23.04.2019 16:31
> Subject: Re: [jdt-dev] Accidental push -- branch policy?
> Sent by: jdt-dev-bounces@xxxxxxxxxxx
> --------------------------------------------------------------------------------
>
>
>
> On 23.04.19 15:50, Daniel Megert wrote:
> > OK. So, you might as well try to delete the branch.
>
> Did that, result:
>
> Repository ssh://sherrmann@xxxxxxxxxxxxxxx:29418/jdt/eclipse.jdt.ui.git
>
> cannot delete references
> Branch refs/heads/Bug_546352_luna:
> You need 'Delete Reference' rights or 'Push' rights with the
> 'Force Push' flag set to delete references.
> User: sherrmann
> Please read the documentation and contact an administrator
> if you feel the configuration is incorrect
>
> Processing changes: refs: 1
> Processing changes: refs: 1, done
>
> Learning s.t. new every day.
>
> Stephan
>
> > Dani
> >
> >
> >
> > From: Stephan Herrmann <stephan.herrmann@xxxxxxxxx>
> > To: jdt-dev@xxxxxxxxxxx
> > Date: 23.04.2019 15:36
> > Subject: Re: [jdt-dev] Accidental push -- branch policy?
> > Sent by: jdt-dev-bounces@xxxxxxxxxxx
> > --------------------------------------------------------------------------------
> >
> >
> >
> > Hi Dani,
> >
> > No, gerrit was not involved.
> >
> > Stephan
> >
> > On 23.04.19 14:37, Daniel Megert wrote:
> > > Hi Stephan
> > >
> > > Did you merge it via Gerrit? Looks like this/Gerrit is not respecting   the hooks.
> > > In that case, maybe you can delete the branch via Gerrit?
> > >
> > > Dani
> > >
> > >
> > >
> > > From: Stephan Herrmann <stephan.herrmann@xxxxxxxxx>
> > > To: jdt-dev@xxxxxxxxxxx
> > > Date: 23.04.2019 13:10
> > > Subject: [jdt-dev] Accidental push -- branch policy?
> > > Sent by: jdt-dev-bounces@xxxxxxxxxxx
> > > --------------------------------------------------------------------------------
> > >
> > >
> > >
> > > Hi team,
> > >
> > > In an attempt to push a change from one local machine ("luna")   to another I
> > > accidentally created branch Bug_546352_luna on *remote* (nothing  related  to
> > > Eclipse Luna! :) ).
> > >
> > > Please ignore, or if s.o. has the powers to do so, feel free to  remove  that branch.
> > >
> > > This lets me ask: I seem to recall that committers have permission   to create
> > > branches only below their username prefix (like sherrmann/NewTypeInference).
> > > Is this rule no longer in effect? If so, I need to be more careful   when pushing
> > > branches back and fro :-/
> > >
> > > sorry for the confusion,
> > > Stephan
> > > _______________________________________________
> > > jdt-dev mailing list
> > > jdt-dev@xxxxxxxxxxx
> > > To change your delivery options, retrieve your password, or unsubscribe   from
> > > this list, visit
> > > https://www.eclipse.org/mailman/listinfo/jdt-dev
> > >
> > >
> > >
> > >
> > >
> > > _______________________________________________
> > > jdt-dev mailing list
> > > jdt-dev@xxxxxxxxxxx
> > > To change your delivery options, retrieve your password, or unsubscribe   from this list, visit
> > > https://www.eclipse.org/mailman/listinfo/jdt-dev
> >
> > _______________________________________________
> > jdt-dev mailing list
> > jdt-dev@xxxxxxxxxxx
> > To change your delivery options, retrieve your password, or unsubscribe  from
> > this list, visit
> > https://www.eclipse.org/mailman/listinfo/jdt-dev
> >
> >
> >
> >
> >
> > _______________________________________________
> > jdt-dev mailing list
> > jdt-dev@xxxxxxxxxxx
> > To change your delivery options, retrieve your password, or unsubscribe  from this list, visit
> > https://www.eclipse.org/mailman/listinfo/jdt-dev
>
> _______________________________________________
> jdt-dev mailing list
> jdt-dev@xxxxxxxxxxx
> To change your delivery options, retrieve your password, or unsubscribe from 
> this list, visit
> https://www.eclipse.org/mailman/listinfo/jdt-dev
>
>
>
>
>
> _______________________________________________
> jdt-dev mailing list
> jdt-dev@xxxxxxxxxxx
> To change your delivery options, retrieve your password, or unsubscribe from this list, visit
> https://www.eclipse.org/mailman/listinfo/jdt-dev