I've enabled github's new feature to restrict pushing to the
`production` branch of:
It will not allow pushing with "force" on the reference branch.
A general reminder: if you think you need to push with the git option
"--force" on this branches, you are very likely doing something wrong.
In case of real need the restriction can be [temporarily] disabled
from the repository settings on github, but before doing so please get
some peer over email/chat to help you figure out if there are better
alternatives, as it usually boils down to human mistakes ;)