Branches

Search

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
main Copy branch name to clipboard	Apr 18, 2024				Delete branchBranch menu
jetty-12.1-no-servlets Copy branch name to clipboard	Nov 5, 2025				Delete branchBranch menu
jetty-12-no-servlets Copy branch name to clipboard	Sep 25, 2025				Delete branchBranch menu
jetty-9-no-servlets Copy branch name to clipboard	Apr 18, 2024				Delete branchBranch menu
jetty-10-no-servlets Copy branch name to clipboard	Apr 18, 2024				Delete branchBranch menu