こんにちは。那由多屋の加藤です。 普段、githubを便利に使わせて頂いているのですが、先週、ちょっと悩んでしまいました。 先週の金曜日（7月3日）に、とあるgithubリポジトリをリネームしたのですが、数分経っても、数時間経ってもリネームが終わりません…