New git utility script: git-checkout-push
New git utility script: git-checkout-push

Simple script that, if master is updated, does a checkout of the new
version of master. Intended for things like papers, where you want the
central repository to have a checked-out copy that reflects the latest
push.

nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome