Add `git push' to manual release instructions