Update AGENTS.md

This commit is contained in:
Oguz Ulgen
2025-11-18 14:08:44 -08:00
committed by GitHub
parent e8970ba010
commit 17b6f8c99d

View File

@ -10,6 +10,7 @@
- Do NOT run pre-commit, it is not setup
- To run lint, run 'lintrunner -a' (which will autoapply changes)
- Do NOT attempt to install dependencies, you do not have Internet access
- Do NOT create summary files unless explicitly asked
- When you are ready to make a PR, do exactly these steps:
- git stash -u
- git reset --hard $(cat /tmp/orig_work.txt) # NB: reset to the LOCAL branch, do NOT fetch