On Tue, Jul 24, 2012 at 11:46:07AM +0200, Janne Grunau wrote: > 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?
Please do - there is no point in them not following their master repo in the strictest possible manner. Diego _______________________________________________ libav-devel mailing list [email protected] https://lists.libav.org/mailman/listinfo/libav-devel
