开发者工具如何删除远程仓库？

现在还没提供这个功能，以后会加上，目前可以用命令行删除