push: point to 'git pull' and 'git push --force' in case of non-fast forward

[git.git] / unimplemented.sh

#!/bin/sh

echo >&2 "fatal: git was built without support for `basename $0` (@@REASON@@)."
exit 128