master branch just got deleted, after merging master to development.
This is unexpected, since "master" is protected against deletion. Find attached a screenshot from "Branch permissions", which shows this absurdity.
