Add tip for reverting local master back to origin

For all those times we accidentally add in commits we don't want into the local master, this is a good way to change it back to the origin. Credit to @stefanor.

By the looks of it, this probably works for any branch.