Release instructions: avoid pushing older tags

Author: michaelklishin

AGENTS.md

@@ -114,7 +114,7 @@ To produce a new release:
  4. Tag the commit: `git tag vX.Y.0`
  5. Bump the dev version: add a new `## X.(Y+1).0 (in development)` section to `CHANGELOG.md` with `No changes yet.` underneath, and update `lib/hutch/version.rb` to the next dev version with a `.pre` suffix
  6. Commit with the message `Bump dev version`
- 7. Push: `git push && git push --tags`
+ 7. Push: `git push && git push origin vX.(Y+1).0`
 
 ## Git Instructions