chore(github): Change tool permission path#19389
Conversation
Codecov Results 📊Generated by Codecov Action |
size-limit report 📦
|
node-overhead report 🧳Note: This is a synthetic benchmark with a minimal express app and does not necessarily reflect the real-world performance impact in an application.
|
There was a problem hiding this comment.
Cursor Bugbot has reviewed your changes and found 1 potential issue.
Bugbot Autofix is OFF. To automatically fix reported issues with Cloud Agents, enable Autofix in the Cursor dashboard.
| IDENTIFIER_PATTERN = re.compile(r"^[A-Z]+-\d+$") | ||
| ALLOWED_REPORT_DIR = "/tmp/" | ||
| # /tmp/ is allowed for local runs; repo cwd is required in CI (sandbox only allows writes in working dir) | ||
| ALLOWED_REPORT_PREFIXES = ("/tmp/", os.path.abspath(os.getcwd()) + os.sep) |
There was a problem hiding this comment.
Path validation fails when script runs from root
Low Severity
When the script runs from the root directory /, the path validation logic creates the prefix // by appending os.sep to /. This causes validation to fail for files in the current directory like /file.md because they don't start with //. While running from / is unlikely in practice, the validation prevents the intended behavior of allowing writes to the current working directory.


Reference: #19387
Closes #19390 (added automatically)