On Tue, Sep 11, 2018 at 11:01:08PM +0200, Pierre Neidhardt wrote: > By the way, I could not rebase+push, upstream complains that I cannot push > non-fast-forward commits and that I should pull first. How am I supposed to > rebase my branch?
For wip-* branches [0], please delete the branch remotely and then push it again. This is effectively the same thing as force-pushing, but with an extra step ;) We disabled all forced pushes in our repo on Savannah. For example: $ git push origin :branch && git push origin branch [0] We use the 'wip-' prefix to indicate that history may be rewritten. Other branches should use merges instead.
signature.asc
Description: PGP signature
