[PATCH 6/8] make.sh: Tidy up Git commands