summaryrefslogtreecommitdiff
path: root/bin/git-publish
diff options
context:
space:
mode:
Diffstat (limited to 'bin/git-publish')
-rwxr-xr-xbin/git-publish10
1 files changed, 0 insertions, 10 deletions
diff --git a/bin/git-publish b/bin/git-publish
deleted file mode 100755
index 0016764..0000000
--- a/bin/git-publish
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/bash -e
-
-# Copy your current branch to a "publishing" remote.
-#
-# By default, this remote is origin. However, you can set `publish.remote` to
-# publish to another repository (eg. my-fork).
-
-REMOTE="$(git config publish.remote || echo "origin")"
-
-exec git push --force-with-lease "$@" "${REMOTE}" HEAD