# HG changeset patch
# User d3v11 <d3v11@d3v11.ano>
# Date 1324095442 0
# Node ID 88c2bd1a286a1299f59740fb867302b6d499f763
# Parent  8af3f64298240f98e5606d80bc97749cfca8f607
added scripts/git-pull :-).

    ./scripts/git-pull $PEER_NAME

    example:

        ./scripts/git-pull d3v11

diff -r 8af3f6429824 -r 88c2bd1a286a scripts/git-pull
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/scripts/git-pull	Sat Dec 17 04:17:22 2011 +0000
@@ -0,0 +1,7 @@
+#!/bin/bash
+if [ -z "$1" ]; then
+    echo './scripts/git-pull $PEER_NAME'
+    exit 1
+fi
+[ -e db/usr/"$1"/git ] && git pull `cat db/usr/"$1"/git` master
+[ -e db/usr/"$1"/git ] || echo "./git-pull: record does not exist for $1"