From f5b218e0bec2d0ebbd0eae0c9cbdcefc878ebebd Mon Sep 17 00:00:00 2001
From: Tom Willemse
Date: Sat, 12 Apr 2014 18:31:20 +0200
Subject: Initial commit

---
 push-remotes | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100755 push-remotes

diff --git a/push-remotes b/push-remotes
new file mode 100755
index 0000000..6720312
--- /dev/null
+++ b/push-remotes
@@ -0,0 +1,22 @@
+#!/bin/sh
+## push-remotes -- Push the given git directory to all of its remotes
+
+## Commentary:
+
+# This command expects the first argument to be a directory usable by
+# the `--git-dir' command-line option to git. Afterwards it loops
+# through all known remotes of that directory and pushes to it.
+
+## Code:
+
+function _git() { git --git-dir="$gitdir" "$@"; }
+
+gitdir="$1"
+remotes=$(_git remote)
+
+if [[ -n "$remotes" ]]; then
+    for remote in $remotes; do
+        echo "Pushing master to ${remote}"
+        _git push "$remote"
+    done
+fi
-- 
cgit v1.2.3-54-g00ecf