Fixes to git-checkout-push
Fixes to git-checkout-push

Add a note about a variable you have to set on the target repo to
make git happy

Don't check the index, weird stuff happens

Use 'git reset' rather than 'git checkout', as the latter is known to
do strange things in this situation

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