On Monday 11 November 2013 14:13:22 Martin Gräßlin wrote: > Please remember: do not push a revert of a merge commit. Another tip not everyone might know: you can use git push --dry-run to see which changes would be pushed, without actually pushing them. That helps a lot with avoiding breakage. Sven