[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[jdt-dev] Accidental push -- branch policy?
- From: Stephan Herrmann <stephan.herrmann@xxxxxxxxx>
- Date: Tue, 23 Apr 2019 13:10:44 +0200
- Delivered-to: firstname.lastname@example.org
- User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1
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,