Don't wait on 'git push' with pgrep -f: the loop matches itself

A wait loop like until ! pgrep -f "git push ... origin nfs/"; do sleep 2; done never ends. pgrep -f matches the full command line of the shell running the loop, which contains the same string, so it always finds 'a match'. Wait on the actual PID instead (wait $pid, or tail --pid=$pid -f /dev/null), or use a pattern trick like pgrep -f '[g]it push', whose own command line doesn't match. Also, put timeout on long remote pushes in scripts, so one hung push can't stall the rest.