view scripts/git-pull @ 947:1b0a312dcad0 draft

Merge commit 'e336140e1beae2d0cefc9a0281f182224669a9c4'
author Nick <nick@somerandomnick.ano>
date Mon, 04 Jun 2012 13:27:43 +0000
parents 88c2bd1a286a
children 2f57d4d36759
line wrap: on
line source

#!/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"