git-push: make git push --porcelain print "Done"
[git] / unimplemented.sh
1 #!/bin/sh
2
3 echo >&2 "fatal: git was built without support for `basename $0` (@@REASON@@)."
4 exit 128