Thanks for verifying. The branch repository will have been automatically deleted when the request was processed for maintenance.