GitHubのリポジトリを削除するときに、リポジトリ名の入力を要求されます。 わざわざ入力させるなんて手間だなあと思うものです。 ですが、これって重要だと最近気付きました。 というのも、業務であるツールを作っては試しを繰り返していたところ、テスト環…