From b7e2019eeed38d3b22f07c51aac8578fd53c9bee Mon Sep 17 00:00:00 2001
From: Owen Jacobson <owen@grimoire.ca>
Date: Wed, 13 Dec 2023 21:39:47 -0500
Subject: 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.
---
 bin/git-publish | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100755 bin/git-publish

(limited to 'bin/git-publish')

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
-- 
cgit v1.2.3