how about committing a revert and then asking infra to remove both commits, then nobody is stuck
Alejandro (phone typing) > On Apr 25, 2014, at 14:38, Konstantin Boudnik <[email protected]> wrote: > > Guys, > > I have accidently pushed my local integration branch to our repo and messed up > the master a little bit. My The force-pushes are prohibited so I can't do > quick > fix and will have to file INFRA ticket to move the master. > > The correct version of the master branch is right now on master.fixed, but it > might take some time for INFRA folks to make the move. So, please be patient > and do not commit anything to the messed up master yet. > > Sorry about the mess ;( > -- > Regards, > Cos >
