Permanently deleting a project


I have many projects in my Deleted projects space, I’d like to permanently remove some of them. My workaround has been to rm -rf ./* and renaming it to like deleted-abcd-1 and then deleting it but a Delete permanently button should be added to the Deleted projects space. If you are going to add this then please also add Delete all permanently button