Minor updates to test if (forced) push is performed correctly.

Now one has to remember not to "push a commit to the server, and then
rewrite that commit locally (with git reset, git rebase, git filter-
rewritten commit back up to the server". See http://stackoverflow.com/