1 files changed, 15 insertions, 0 deletions
diff --git a/git/pull.sh b/git/pull.sh
new file mode 100755
index 0000000..51fe2a1
--- /dev/null
+++ b/git/pull.sh
@@ -0,0 +1,15 @@
+#! /bin/sh
+
+# Assume this script never run via PATH.
+#
+self=`realpath $0`
+. `dirname $self`/modules
+
+wd=`pwd`
+
+for i in $all_modules; do
+  echo "pull $i" 1>&2
+  cd $i
+  git pull --rebase $*
+  cd $wd
+done