We should try to reduce the number of branches in the main fork of the project.
copy-pr-bot
Branches of the form pull-request/XXXX come from copy-pr-bot. This is a necessary part of the security of our CI, so we need to keep these around and live with the noise.
Coding-agent-created branches
Some users' coding agents seem to be creating branches on the main fork.
These ones have an open PR associated with them. Deleting them immediately would invalidate those PRs. We can just wait until these PRs are naturally merged or closed.
| Author |
Branch |
PR |
Title |
| @kkraus14 |
codex/docs-pyobj-reference-fixes |
#2167 |
[codex] Regenerate CUDA bindings docs references |
| @kkraus14 |
codex/fix-cuda-bindings-problematic-doc-anchors |
#2186 |
[codex] Fix generated cuda-bindings problematic doc anchors |
| @kkraus14 |
cursor/env-setup-830c |
#2071 |
Add Cursor Cloud specific instructions to AGENTS.md |
| @rwgk |
check-release-notes_with_backport-git-tag |
#2161 |
[no-ci] Fix backport release checks and add release dry-run |
| @rwgk |
rwgk/stacked/pathfinder/utils_driver_and_toolkit_info |
#2012 |
pathfinder: add toolkit-info parser and display-driver release helpers |
These branches do not have an open PR associated with them. They should be deleted if no longer required.
| Author |
Branch |
| @rparolin |
cursor/cloud-dev-env-docs-d4d7 |
| @kkraus14 |
codex/fix-build-docs-pixi |
We should
git remote set-url upstream --push "Don't push to me"
Other random branches
I think these were temporary experiments.
@leofang | ci/sanitizer-restrict-cuda13
Branch protection rules
We should try to reduce the number of branches in the main fork of the project.
copy-pr-bot
Branches of the form
pull-request/XXXXcome fromcopy-pr-bot. This is a necessary part of the security of our CI, so we need to keep these around and live with the noise.Coding-agent-created branches
Some users' coding agents seem to be creating branches on the main fork.
These ones have an open PR associated with them. Deleting them immediately would invalidate those PRs. We can just wait until these PRs are naturally merged or closed.
These branches do not have an open PR associated with them. They should be deleted if no longer required.
We should
AGENTS.mdto never do thisgit remote set-url upstream --push "Don't push to me"Other random branches
I think these were temporary experiments.
@leofang | ci/sanitizer-restrict-cuda13
Branch protection rules