[Act] repo out of sync for tpc-2017-amsterdam (rather urgent...)

[Tina Müller]

On Mon, 5 Jun 2017, Sébastien Aperghis-Tramoni wrote:

> Actually, the repositories on the Act server are directly updated
> from GitHub, with no intermediate repository, using git pull:
>  » https://github.com/book/Act/blob/master/bin/gitupdate
>
> Maybe git pull isn't the correct way to update a repository?

It should be enough if nobody ever uses a forced push.
To deal with that, you could do the following:

     git fetch
     git reset --hard origin/master # or production, ...

Or, you could protect those branches on github, so people cannot
do a forced push.

cheers,
tina