From ec04d8a808811b5253a637211d203b8b5ac9a1ed Mon Sep 17 00:00:00 2001
From: Romain Paquet <rpqt@rpqt.fr>
Date: Tue, 7 Apr 2026 19:35:03 +0000
Subject: [PATCH] add git-push-all script

---
 home/bin/git-push-all | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 home/bin/git-push-all

diff --git a/home/bin/git-push-all b/home/bin/git-push-all
new file mode 100755
index 0000000..806fb70
--- /dev/null
+++ b/home/bin/git-push-all
@@ -0,0 +1,7 @@
+#!/usr/bin/env sh
+
+set -eu
+
+for remote in $(git remote); do
+	git push "$remote" $@
+done