Deleting Repositories is a Frustrating Process

[mat-adamec]

At present, in order to delete a repository from the JupyterLab UI, the folder needs to be empty. That means you have to go through and delete all contained files one-by-one and only then delete the folder after. You can also go to the terminal to do a recursive delete, but I feel like the option to delete with recursion should either be default or toggle-able in the UI.