diff options
Diffstat (limited to 'bin/git-publish')
| -rwxr-xr-x | bin/git-publish | 10 |
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 |
