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-divorc

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.