On 08/21/2015 06:44 PM, Mikhail Maltsev wrote:
On 08/20/2015 11:09 PM, Jason Merrill wrote:
Absolutely, a non-fast-forward push is anathema for anything other people might
be working on. The git repository already prohibits this; people that want to
push-rebase-push their own branches need to delete the branch before pushing
again.
There are many opinions about best practices, but I don't think any of them are
enough better than what we already do to justify a change.
Regardless of what the non-fast-forward-push policy will be (please don't get me
wrong - I'm not trying to meddle into development of policies),
Feel free to meddle. :)
why is deleting and pushing a branch again better than pushing with force?
The effect is the same but it's less convenient, so it discourages
people from doing it without considering whether that's really the right
thing to do. But I'm flexible on this point.
Jason
