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

["Daniel Megert" <daniel_megert@xxxxxxxxxx>]

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