Add doc to push new tag to github