Big tool rename.

[thirdparty/git.git] / git-push.sh

diff --git a/git-push-script b/git-push.sh
similarity index 92%
rename from git-push-script
rename to git-push.sh
index 744ee7e7dc8986767f410f99f4ff8c644654b172..00d715059c4b751bef9adaf3debbe56ae1cf19ac 100755 (executable)
--- a/git-push-script
+++ b/git-push.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-. git-sh-setup-script || die "Not a git archive"
+. git-sh-setup || die "Not a git archive"
 
 # Parse out parameters and then stop at remote, so that we can
 # translate it using .git/branches information
@@ -31,7 +31,7 @@ case "$#" in
        die "Where would you want to push today?" ;;
 esac
 
-. git-parse-remote-script
+. git-parse-remote
 remote=$(get_remote_url "$@")
 case "$has_all" in
 --all) set x ;;