Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master Copy branch name to clipboard	Aug 6, 2023				Delete branchBranch menu
3.12 Copy branch name to clipboard	github-actions Apr 15, 2024				Delete branchBranch menu
3.11 Copy branch name to clipboard	Oct 18, 2023				Delete branchBranch menu
3.10 Copy branch name to clipboard	github-actions Aug 3, 2023				Delete branchBranch menu
3.9 Copy branch name to clipboard	github-actions Aug 3, 2023				Delete branchBranch menu
3.8 Copy branch name to clipboard	github-actions Aug 3, 2023				Delete branchBranch menu
3.7 Copy branch name to clipboard	github-actions Aug 3, 2023				Delete branchBranch menu
checkout-patch Copy branch name to clipboard	Jun 19, 2023				Delete branchBranch menu