Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master Copy branch name to clipboard	github-merge-queue Aug 31, 2025				Delete branchBranch menu
update-codeowners Copy branch name to clipboard	Oct 20, 2023				Delete branchBranch menu
update-coc Copy branch name to clipboard	Oct 20, 2023				Delete branchBranch menu
swap-team Copy branch name to clipboard	Oct 17, 2023				Delete branchBranch menu
staging Copy branch name to clipboard	bors Mar 15, 2023				Delete branchBranch menu
0.4.x Copy branch name to clipboard	bors Dec 20, 2022				Delete branchBranch menu