App 'Delete' option disabled

Hi @igezeani,

Thanks for posting!

This happens if you delete the GitHub repository before deleting the app or if you change the name of the GitHub repo. If you send the link for the app to support@streamlit.io, I can get it deleted for you.

Caroline :balloon: