Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [jdt-dev] Accidental push -- branch policy?

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?


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,
jdt-dev mailing list
To change your delivery options, retrieve your password, or unsubscribe from this list, visit

Back to the top