[PATCH] Documentation: describe short-hand used in fetch/pull.
[git.git] / git-push-script
2005-07-08 Linus TorvaldsAdd "git-push-script" to make a more regular interface