Dear CS10-Gitlab-users, on Thursday, Feb 3 there will be maintenance. That will lead to a downtime of the CS10-Gitlab-service including Subversion and Mattermost chat from 09:30. This might take the whole day since we don't know how long it is going to take. We are sorry for the inconvenience! Best regards, CS10-Admin-Team
You’re about to permanently delete the protected branch [branch name].
This branch hasn’t been merged into master . To avoid data loss, consider merging this branch before deleting it.
Once you confirm and press Delete protected branch , it cannot be undone or recovered.
To confirm, type [branch name] :