Hi, While I was in a rush, I accidentely checked in a couple of bogus commits (They were not merged properly)
The resulting code is o.k. but commits in between are not. Can we revert origin/master back to f83a9c48af6031015e175326a3a3e25bf749b2f2, the last regular commit ? git checkout origin/master git reset —hard f83a9c48af6031015e175326a3a3e25bf749b2f2 git push -f As a safety measure this is disabled for common committer like me … Greetings, Olaf
signature.asc
Description: Message signed with OpenPGP using GPGMail
