push: do not turn --delete '' into a matching push
[git] / unimplemented.sh
1 #!/bin/sh
2
3 echo >&2 "fatal: git was built without support for $(basename $0) (@@REASON@@)."
4 exit 128