Cleanup branches
It seems like the branches
- ci
- ssa-spill
are unused and merged into master (or superseded by different implementations). So they may be deleted.
GitLab wird am Freitag, den 26. April ab 18:00 Uhr bis voraussichtlich Samstag, den 27. April bis 15:00 Uhr aufgrund größerer Wartungsarbeiten nicht verfügbar sein.
It seems like the branches
are unused and merged into master (or superseded by different implementations). So they may be deleted.