Add "git-push-script" to make a more regular interface

It only does local and ssh pushes, because it's really just a wrapper
for git-send-pack.  We might make it do an rsync mirror or something, of
course.

1 files changed, 3 insertions, 0 deletions

diff --git a/git-push-script b/git-push-script
new file mode 100755
index 0000000000..80e922bb5d
--- /dev/null
+++ b/git-push-script
@@ -0,0 +1,3 @@
+#!/bin/sh
+. git-sh-setup-script || die "Not a git archive"
+git-send-pack "$@"