There will be maintenance performed on git.ligo.org, chat.ligo.org, containers.lig.org, and docs.ligo.org starting at 9am PDT on Tuesday 18th August 2020. There will be an extremely small period of downtime at the start of the maintenance window as various services are restarted. Please address any comments, questions, or concerns to firstname.lastname@example.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] :