diff options
author | 2013-01-09 18:59:45 -0400 | |
---|---|---|
committer | 2013-01-09 19:00:28 -0400 | |
commit | d2a56e1d4ac55887f7fa58c1dd0f4b60be7709df (patch) | |
tree | 730fa889a487316e1f9a8eeba5da86de499de933 /doc/bugs/The_webapp_doesn__39__t_allow_deleting_repositories | |
parent | f5b073719d48f593e495df323fbb109f6dd30352 (diff) |
webapp: Repo switcher filters out repos that do not exist any more (or are on a drive that's not mounted).
Diffstat (limited to 'doc/bugs/The_webapp_doesn__39__t_allow_deleting_repositories')
-rw-r--r-- | doc/bugs/The_webapp_doesn__39__t_allow_deleting_repositories/comment_2_53499da1185c56d8fd25f86ba41d96ce._comment | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/bugs/The_webapp_doesn__39__t_allow_deleting_repositories/comment_2_53499da1185c56d8fd25f86ba41d96ce._comment b/doc/bugs/The_webapp_doesn__39__t_allow_deleting_repositories/comment_2_53499da1185c56d8fd25f86ba41d96ce._comment index d76c77587..e84094738 100644 --- a/doc/bugs/The_webapp_doesn__39__t_allow_deleting_repositories/comment_2_53499da1185c56d8fd25f86ba41d96ce._comment +++ b/doc/bugs/The_webapp_doesn__39__t_allow_deleting_repositories/comment_2_53499da1185c56d8fd25f86ba41d96ce._comment @@ -6,4 +6,6 @@ content=""" I created a new local repository to play with the new Direct Mode features. I ended up deleting it (deleting the directory), but when I launched the assistant, I was still given the option of \"switching repository\" to the now-deleted one. It threw the error Internal Server Error (user error (git [\"config\",\"--null\",\"--list\"] exited 126)). +> Fixed this. --[[Joey]] + """]] |