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

L Boivin elbeho at boivin.eu
Sat Jul 1 16:49:15 CEST 2017


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.


More information about the Act mailing list