[PATCH] fetch/pull: short-hand notation for remote repositories.
[git.git] / git-push-script
2005-07-08 Linus TorvaldsAdd "git-push-script" to make a more regular interface