getnikola/nikola — pull request #1396 by asmeurer (2014-08-17 20:55:14+00:00)
Title: Don't force push to GitHub

If a force push is necessary, it probably means something is wrong, so instead
of force pushing, it would be better to fail.