Add "git push" (master) to release docs