On 2012-07-24 03:23:09 +0200, Diego Biurrun wrote: > On Tue, Jul 24, 2012 at 02:03:00AM +0200, Diego Biurrun wrote: > > > > I took the Git server offline in roundabout a minute, so hopefully > > nothing should have picked up the stray commits. The repo is fixed > > now and HEAD is pointing to the commit that it should point to. > > Mail notifications for the above set arrived on libav-commits, but > > you can ignore it, the commits are no longer on origin/master. > > Somebody please update the github and gitorious mirrors, I don't > control them.
Done, and you mean you don't know how to control them ;) I'm wondering if I should add a --force to the git push in the hook which pushes our master repo to github/gitorious? Janne _______________________________________________ libav-devel mailing list [email protected] https://lists.libav.org/mailman/listinfo/libav-devel
