Branches

Branches navigation

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master Copy branch name to clipboard	Jul 21, 2026				Delete branchBranch menu
convert-versions Copy branch name to clipboard	Jul 21, 2026				Delete branchBranch menu
gh-pages Copy branch name to clipboard	github-actions Jul 20, 2026				Delete branchBranch menu
print-jarname Copy branch name to clipboard	Jul 20, 2026				Delete branchBranch menu
update-filetype-maps Copy branch name to clipboard	Apr 16, 2026				Delete branchBranch menu