summaryrefslogtreecommitdiff
path: root/bin/git-publish
diff options
context:
space:
mode:
authorOwen Jacobson <owen@grimoire.ca>2023-12-13 21:39:47 -0500
committerOwen Jacobson <owen@grimoire.ca>2023-12-13 22:10:56 -0500
commitb7e2019eeed38d3b22f07c51aac8578fd53c9bee (patch)
tree157b6e31f4d053995f113890faa9bed003fdf156 /bin/git-publish
parent4f32cdbb3681488b9f9215e253a5754800ebaab8 (diff)
Move aliases to scripts.
The git aliases mechanism is pretty limited; there's some stuff you can't really do without dropping to a shell. If you're going to do that, then custom subcommand scripts are more flexable than aliases that start with ! are.
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