Git master branch fix advice

Add some advice for how to clean up your master branch of erroneous commits
that have not been pushed to your remote fork.