- unknown git push options are rejected instead of being ignored