Branches
| Branch | Updated | Check status | BehindAhead | Pull request | Action menu |
|---|---|---|---|---|---|
master Copy branch name to clipboard | Delete branchBranch menu | ||||
structuralmatching Copy branch name to clipboard | Delete branchBranch menu | ||||
recursion-schemes Copy branch name to clipboard | Delete branchBranch menu | ||||
gh-pages Copy branch name to clipboard | Delete branchBranch menu | ||||
continuations Copy branch name to clipboard | Delete branchBranch menu | ||||
Iso Copy branch name to clipboard | Delete branchBranch menu |