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

[L Boivin]

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