scripts/git-pull


1
2
3
4
5
6

#!/bin/sh
if [ -z "$1" ]; then
    echo "Usage: $0 \$PEER_NAME" >&2
    exit 1
fi
[ -e db/usr/"$1"/git ] && git pull `cat db/usr/"$1"/git` master || echo "$0: record does not exist for $1" >&2