Github now asks thrice when I'm deleting a repository (plus auth code if configured). I wonder how many people mistakenly deleted their shit
@1efe3b1d Different angle: Things moving off github is bad for github, so making this less likely ist good for github?