#6006: I unmounted a Git repo, and I can't delete the folder in Windows Explorer | Aqua Data Studio

Issues
Search Tips

Easily find issues by searching: #<Issue ID>
Example: #1832

Easily find members by searching in: <username>, <first name> and <last name>.

Example: Search smith, will return results smith and adamsmith
You can use:
- Boolean operators AND, OR and NOT (must be in caps, e.g. oracle AND debugger, debugger NOT oracle)
- Single and multiple character wildcard (e.g. de?ug, debug*)
- Grouping (e.g. ((oracle debugger) AND exception))
- Quoted phrase (e.g. "Oracle Debugger")

#loadingpage {display:none}JavaScript and Cookies must be enabled in order for you to use AquaClusters.here

Aqua Data Studio / nhilam

Follow 828

IDE for Relational Databases

Back

Niels Gron

NielsGron reported 2011-08-07T00:31:24Z · last modified 2011-08-17T01:00:44Z

I unmounted a Git repo, and I can't delete the folder in Windows Explorer

Dev	NielsGron
QA	tariqrahiman

Priority	Major
Complexity	Unknown

Component	App - Version Control - GIT
Version	10.0

I wonder if this exists for all unmounted repos regardless of version control.

1 attachment

git-delete-repo.png

2011-08-07T00:31:24Z

112 KB

All Comments (1) Change History

Niels Gron

NielsGron 2011-08-08T18:27:43Z

Fixed for GIT.

Tariq, please test for all the other version control systems.

About AquaClusters Privacy Policy Support Version - 19.0.2-4 AquaFold, Inc Copyright © 2007-2017