This shell script presents a number of relatively serious safety issues; e.g.,
* no quoting of the arguments
* no error handling; if any of the git commands fails, the script will drive on and probably do the wrong thing; should at least use the "errexit" option