Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
main Copy branch name to clipboardView rules	Jun 1, 2026				Delete branchBranch menu
context-navigation Copy branch name to clipboard	May 31, 2026				Delete branchBranch menu
improve-crash-handling Copy branch name to clipboard	May 28, 2026				Delete branchBranch menu
highlight-relevant-context Copy branch name to clipboard	May 27, 2026				Delete branchBranch menu
self-referential-invocations Copy branch name to clipboard	May 10, 2026				Delete branchBranch menu
fix-expansions Copy branch name to clipboard	Mar 29, 2026				Delete branchBranch menu
flatten-equivalent-derivation-nodes Copy branch name to clipboard	Jan 24, 2026				Delete branchBranch menu