[FFmpeg-devel] [GIT] ready by the weekend

[Reimar Döffinger]

On Wed, Dec 01, 2010 at 10:39:42PM +0100, Rob wrote:
> On 1 December 2010 22:36, Ramiro Polla <ramiro.polla at gmail.com> wrote:
> > On Wed, Dec 1, 2010 at 7:32 PM, Luca Barbato <lu_zero at gentoo.org> wrote:
> >> in git you hardly screw up others (beside while using git push -f)
> >
> > Can we disable push -f? (and possibly only allow someone with the role
> > of admin to do it)
> 
> Yes, you can disable non-fastforward commits in the repository's config.

Well, so far "push -f" still is the "recommended" way of fixing
mistakes, by my understanding of the comments the last discussion
got.