Yet we have to type the name of our repo in GitHub to confirm a deletion...

Imagine the headaches if a life event happened in between the divorce and un-divorce. Oops.