push: make non-fast-forward help message configurable