On Mon, Feb 17, 2020 at 12:47:54PM +1100, Alexey Kardashevskiy wrote: > > On 17/02/2020 12:27, Alexey Kardashevskiy wrote: > > Hi! > > > > We have a SLOF repo mirrored at git.qemu.org. Once I push an update to > > my github repo, it gets mirrored soon, it works fine. > > > > Now to the problems :) > > > > 1. by accident I pushed a branch with a lot of debug stuff on top. When > > I noticed, I force-pushed the correct one but it was too late - the > > incorrect branch got mirrored. Is there a way to fix this on > > https://git.qemu.org/git/SLOF.git? This is the correct one: > > > > 42228d763f1f (tag: qemu-slof-20200217, github/master) version: update to > > 20200217 > > > > https://github.com/aik/SLOF/commits/qemu-slof-20200217 > > Huh, this one got resolved, was it a script or a person? :)
The repo is in "git clone --mirror" mode I guess ... cheers, Gerd
