docs: add rule requiring commit and push before release dry runs (refs #68)

fxstein · fxstein · commit aacec2395353 · 2025-06-23T21:13:32.000+02:00
diff --git a/AI_INSTRUCTIONS.md b/AI_INSTRUCTIONS.md
@@ -74,6 +74,7 @@
 - Always use `scripts/release/full-release.zsh` for all release and dry-run operations. This script performs version bumping, workflow triggering, and monitoring in a single automated process.
 - For dry runs, use: `./scripts/release/full-release.zsh --dry-run` (this will run non-interactively and monitor the workflow).
 - Default to this format whenever the user requests a release or dry run of the release process.
+- **IMPORTANT**: After making any changes to release scripts, workflows, or release-related files, always commit and push the changes before performing a dry run. The GitHub workflow uses the repository state on GitHub, not local changes. Failure to commit and push will result in the workflow using outdated scripts.
 
 ## GitHub Issue Management
 - Whenever a new GitHub issue is created, immediately run `scripts/maintenance/generate-issues-markdown.zsh` to update the local Markdown issue list.
