Tried to delete a local files repo from workspace, and it failed

[JansenSmith]

Deleting Folder /home/jansen/Documents/bowler-workspace/gitcache/github.com/REDACTED/crystal_ball_demo_for_jansen/img5
Deleting Folder /home/jansen/Documents/bowler-workspace/gitcache/github.com/REDACTED/crystal_ball_demo_for_jansen
Saved ConfigurationDatabase.json
java.lang.Exception:

Delete https://github.com/REDACTED/crystal_ball_demo_for_jansen.gitcalled Here

at com.neuronrobotics.bowlerstudio.scripting.ScriptingEngine.deleteRepo(ScriptingEngine.java:724)
at com.neuronrobotics.bowlerstudio.BowlerStudioMenu.lambda$checkandDelete$17(BowlerStudioMenu.java:626)
at java.lang.Thread.run(Thread.java:748)

Saved ConfigurationDatabase.json