But you forgot to push... Lets agree that we either tell the other that
we are working on something, or just push (soon).
No, lets use git for that. Reverting is not difficult if you make small
git commits (please never put everything together in one big commit, but
split commits in logical segments. Especially, it could be just me, but
I like to put the commit with combined changelog changes always
separately from everything else).