Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions .agents/rules/pr.md
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,9 @@ Before drafting any pull request description, strictly adhere to the rules in
* Once a Pull Request is created, always make new commits or merge commits.
* **NEVER** amend or rebase commits on an active PR branch to avoid breaking
code review threads.
* **PR Metadata Discrepancies**: If a PR title or description diverges from
the branch's actual scope, notify the user of the discrepancy and ask for
confirmation before updating GitHub.
* **NEVER** include a list of per-file edits or changelog bullet points of
individual file modifications in PR descriptions or commit messages.
* High-level overview only: state *why* the change is made and *how* at a
Expand Down
7 changes: 7 additions & 0 deletions .agents/rules/windows.md
Original file line number Diff line number Diff line change
Expand Up @@ -40,3 +40,10 @@
* **Comparing Executables**: Subprocesses may drop `\\?\` or `\\?\UNC\`
prefixes. Strip prefixes and compare via
`os.path.normcase(os.path.normpath(...))`.

## Windows Wheel Script Rewriting & RECORD Generation
* **Shebang Rewriting**: On Windows, scripts that use shebangs are rewritten into
wrapper scripts with `.bat` file extensions.
* **RECORD File Paths**: In `RECORD` files, append `.bat` only to the
shebang-rewritten scripts. Leave all other script paths unchanged.