Branches

Search

Default

Branch	Updated	Check status	BehindAhead	Merge queue	Action menu
main Copy branch name to clipboard	github-merge-queue Feb 27, 2025				Delete branchBranch menu

Active branches

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
update_flake_lock_action Copy branch name to clipboard	github-actions Mar 30, 2025				Delete branchBranch menu
angerman/patch-2 Copy branch name to clipboard	Mar 28, 2025				Delete branchBranch menu
hkm/ghc9122 Copy branch name to clipboard	Mar 19, 2025				Delete branchBranch menu
fix/publish-on-main Copy branch name to clipboard	Feb 14, 2025				Delete branchBranch menu
angerman-patch-6 Copy branch name to clipboard	Feb 1, 2025				Delete branchBranch menu