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 2. it appears that the mirroring scripts pulls all branches from my github repo, can we please configure that mirroring script only to pull "master"? Thanks, -- Alexey