🌱 Add AGENTS.md to assist AI agents interacting with this repository#2274
Merged
openshift-merge-bot[bot] merged 1 commit intoDec 10, 2025
Merged
GitHub Actions / PR Type
succeeded
Oct 16, 2025 in 12s
PR Type in Title
Found 🌱 PR (infra)
Details
Final title:
Add AGENTS.md to assist AI agents interacting with this repository
Loading