Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
main Copy branch name to clipboard	Nov 1, 2025				Delete branchBranch menu
gh-pages Copy branch name to clipboard	github-actions Nov 1, 2025				Delete branchBranch menu
small-encoding-bugs Copy branch name to clipboard	Nov 1, 2025				Delete branchBranch menu
preserve-attributes Copy branch name to clipboard	Oct 12, 2025				Delete branchBranch menu
balance_by Copy branch name to clipboard	Sep 23, 2025				Delete branchBranch menu
new-design-methods Copy branch name to clipboard	Aug 10, 2025				Delete branchBranch menu
idefix-integration Copy branch name to clipboard	Jul 13, 2025				Delete branchBranch menu
design-revisions Copy branch name to clipboard	Jul 6, 2025				Delete branchBranch menu
idefix-updates Copy branch name to clipboard	Jan 31, 2025				Delete branchBranch menu
power_fixes Copy branch name to clipboard	Aug 28, 2023				Delete branchBranch menu
design-fixes Copy branch name to clipboard	Jul 12, 2023				Delete branchBranch menu
orthogonal Copy branch name to clipboard	Jun 30, 2023				Delete branchBranch menu
design-udpates Copy branch name to clipboard	Jun 13, 2023				Delete branchBranch menu
restriction-fixes Copy branch name to clipboard	Jun 2, 2023				Delete branchBranch menu
new-restrict Copy branch name to clipboard	May 12, 2023				Delete branchBranch menu
restrictions Copy branch name to clipboard	May 12, 2023				Delete branchBranch menu
dupe-checks Copy branch name to clipboard	May 9, 2023				Delete branchBranch menu
deff Copy branch name to clipboard	Feb 19, 2023				Delete branchBranch menu
next Copy branch name to clipboard	Mar 9, 2022				Delete branchBranch menu
idefix Copy branch name to clipboard	Jan 28, 2022				Delete branchBranch menu