Delete extra syncing

1st draft suggested that immediately after fetching the developer's feature branch, the admin should sync master and <developer's master> to origin/master.  I now think that's a bad idea because (a) it put's the local <developer's master> **out of sync** with the developer's Github repo, and (b) it's too complex.  So I suggest syncing only at the end.  If there are incompatibilities, the admin can either fix them or ask the developer to fix them.
plus fix typos
other misc changes