リポジトリを整理していて気になったのだけど、共有リポジトリ下のリポジトリの削除とか
名称変更って何か手段はあるんだろうか。まぁ、後者はbranchして削除でもいいのだろうけれど。