Add instructions to push tags to github after finishing a release branch. Reviewed by rterrell