@AGENTS.md
Before any file read, plan, or edit, run the ensure-master script to put every doc-set repo on the master branch:
- PowerShell:
scripts/ensure-master.ps1 - Bash:
scripts/ensure-master.sh
Do not read or edit any file until every affected repo is confirmed on master.
When merging a docs PR, check whether the PR description, commit messages, or linked issues reference a related code repository (e.g. cloudfoundry/<repo-name> on GitHub). If a code repo or PR is identified:
- Fetch the linked code changes using the GitHub tools.
- Check whether the docs text accurately reflects those changes.
- Flag any discrepancies to the user before merging.
If no code repo is referenced, proceed with the merge normally.