Stale branches
-
5-file_writer-mode-broken merged56e707dd · ·
-
fix-http-error-in-commands mergeda3ee43ad · ·
-
fix_int_trig_mult mergeded21aab6 · ·
GitLab will be upgraded on June 23rd evening. During the upgrade the service will be unavailable, sorry for the inconvenience.
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] :