On Saturday 05 May 2012 17:46:52 Daniel Baumann wrote: > > I chose to email a patch instead of pushing directly since I'm not sure > > if the policy here would be to revert/reset the offending commit since > > it's already pushed. > > If you're sure yours is 'the right thing', you can just remove the > commit on the debian-next branch, apply yours, and push with force.
It can be done, surely, it is not 'the right thing' for a lot of people, e.g. the ones that think that published branches should not have the history rewritten. I have not a strong opinion on that and I think that both approaches have their pros and cons. :-) -- ESC:wq -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
