Stale branches
Maintenance will be performed on git.ligo.org, chat.ligo.org, containers.ligo.org, and docs.ligo.org on Tuesday 22nd September 2020 starting at approximately 9am MST.It is expected to take around 15 minutes and there will be a short period of downtime towards the end of the maintenance window. Please address any comments, questions, or concerns to computing-help@igwn.org.
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] :