no prob olaf, happens to us all at times. we can't force push.
just do a manual revert in a jira and we'll commit the reverts ! On Mon, May 11, 2015 at 2:01 AM, Olaf Flebbe <[email protected]> wrote: > 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 > -- jay vyas
