Github now asks thrice when I'm deleting a repository (plus auth code if configured). I wonder how many people mistakenly deleted their shit