nikitonsky: Very strange pattern from Github. To rename a repo, you need to click the same button TWICE. First click runs name conflict check, and then the same button in the very same place with the same label starts behaving differently and…