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.