diff options
| author | Owen Jacobson <owen@grimoire.ca> | 2023-12-13 21:39:47 -0500 |
|---|---|---|
| committer | Owen Jacobson <owen@grimoire.ca> | 2023-12-13 22:10:56 -0500 |
| commit | b7e2019eeed38d3b22f07c51aac8578fd53c9bee (patch) | |
| tree | 157b6e31f4d053995f113890faa9bed003fdf156 /bin/git-publish | |
| parent | 4f32cdbb3681488b9f9215e253a5754800ebaab8 (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-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 |
