Ability to un-initialize GIT on a Repl

Describe your feature request
The ability to un-initialize Git on your REPL

What problem(s) would this feature solve?
If you accidentally initialized Git, you could undo it.

Explain what you were trying to do when you came across the problem leading to this feature request
I was trying to remove Git initialization in my REPL after doing it by mistake.


BTW, you can un-initialize Git by deleting the hidden .git folder (see below) but there should definitely be a button to on the Git pane/tab/whatever.

1 Like

I am aware of that, I just wanted to put in a feature request.