Branches
Default
| Branch | Updated | Check status | BehindAhead | Merge queue | Action menu |
|---|---|---|---|---|---|
![github-merge-queue[bot]](https://waps.l3s.uni-hannover.de/live/im_/https://avatars.githubusercontent.com/u/9919?s=32&v=4){kind=avatar} |
Active branches
| Branch | Updated | Check status | BehindAhead | Pull request | Action menu |
|---|---|---|---|---|---|
 | |||||
| | |||||
| | |||||
 |
| Branch | Updated | Check status | BehindAhead | Merge queue | Action menu |
|---|---|---|---|---|---|
| |
| Branch | Updated | Check status | BehindAhead | Pull request | Action menu |
|---|---|---|---|---|---|
| | |||||
| | |||||
| | |||||
| |