Hi, >> Cant we just remove it in our repo and let the mirroring process take care >> of it on github? > > I'll give it a go but I don't think branch changes are being mirrored in > github.
Yep the github been updated but patches branch has not been removed. I'd guess it does't remove old branches and perhaps not pick up new branches. Good news it that it syncs other changes quick quickly. Thanks, Justin
