[Act] push -force to github now OK for Act

[Theo van Hoesel]

that is super cool...

thanks a lot

laurent++

Sent from my iPhone

> On 1 Jul 2017, at 16:49, L Boivin <elbeho at boivin.eu> wrote:
> 
> Hi
> 
> Just for info.
> After the "problem" with tpc-2017-amsterdam early June (someone
> push --force and the Act server was stuck on non automatic merge),
> I finally applied tinita suggestion to replace the git pull with
> git fetch ; git reset --hard
> 
> Tina: Thanks for the suggestion.
> 
> Cheers
> Laurent
> _______________________________________________
> Act mailing list
> Act at mongueurs.net
> http://listes.mongueurs.net/mailman/listinfo/act