Re: [Savannah-hackers-public] Bison: push -f

[Sylvain Beucler]

Hi,

On Mon, Apr 20, 2009 at 01:19:31PM +0200, Akim Demaille wrote:
> Dear Hackers,
>
> I would like to have a means to perform push -f on *some* branches.  I'm 
> used to work with two directories of branches:
>
> - candidates/
>   The topic branches.
>
> - perso/
>   Where people can just "save" their work, whatever the state.
>
> The branches in these directories are really meant for work in progress, 
> so it is natural, normal, to have to push -f sometimes, especially when 
> you are finishing your changes, ready to make the clean branch that you 
> will typically merge in master.
>
> But I can't do that on bison.git.  Amusingly, I still can delete the  
> branch and create it again, so "push -f", unless I missed something, is 
> not really made impossible, just inconvenient.
>
> Can this policy (allowing push -f on *some* branches) be deployed?

Can this be configured somehow in .git/config? (server-side)

-- 
Sylvain