4 ms·
In another comment, derefr points out that GitHub similarly makes you type the name of the repo when you delete it.
by alxndr 12y ago
In another comment, derefr points out that GitHub similarly makes you type the name of the repo when you delete it.