Removing a repository

This functionality is currently disabled. Contact the BOOST team in case you want to have a repository removed.