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.

3 files changed, 4 insertions, 1 deletions

diff --git a/Makefile b/Makefile
index 6e90d8f4e..e142c2c45 100644
--- a/Makefile
+++ b/Makefile
@@ -34,7 +34,7 @@ SCRIPTS=git git-apply-patch-script git-merge-one-file-script git-prune-script \
 	git-log-script git-shortlog git-cvsimport-script git-diff-script \
 	git-reset-script git-add-script git-checkout-script git-clone-script \
 	gitk git-cherry git-rebase-script git-relink-script git-repack-script \
-	git-format-patch-script git-sh-setup-script
+	git-format-patch-script git-sh-setup-script git-push-script
 
 PROG=   git-update-cache git-diff-files git-init-db git-write-tree \
 	git-read-tree git-commit-tree git-cat-file git-fsck-cache \
diff --git a/git-push-script b/git-push-script
new file mode 100755
index 000000000..80e922bb5
--- /dev/null
+++ b/git-push-script
@@ -0,0 +1,3 @@
+#!/bin/sh
+. git-sh-setup-script || die "Not a git archive"
+git-send-pack "$@"
diff --git a/git-sh-setup-script b/git-sh-setup-script
index 660c524ce..660c524ce 100644..100755
--- a/git-sh-setup-script
+++ b/git-sh-setup-script