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.

diff --git a/Makefile b/Makefile
index 6e90d8f4e8340f55670f6db36ddb6daf809d8f7b..e142c2c4533441b14ba3cf856139409a0bbacb67 100644 (file)
--- 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 (executable)
index 0000000..80e922b
--- /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
old mode 100644 (file)
new mode 100755 (executable)