diff options
| author |  http://edheil.wordpress.com/ <http://edheil.wordpress.com/@web> | 2013-01-09 16:13:41 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2013-01-09 16:13:41 +0000 |
| commit | 680e6839ee42c754a58f8e57bf15a8063a16c6bb (patch) | |
| tree | ee299cb49800e23da48e532ce3c61b170d8468bb | |
| parent | 728b7fe7db3502c8b9c8ccd80d988d2dfafa999c (diff) | |
Added a comment: it also doesn't recognize when a local repository has been deleted manually
| -rw-r--r-- | doc/bugs/The_webapp_doesn__39__t_allow_deleting_repositories/comment_2_53499da1185c56d8fd25f86ba41d96ce._comment | 9 |
1 files changed, 9 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 new file mode 100644 index 000000000..d76c77587 --- /dev/null +++ b/doc/bugs/The_webapp_doesn__39__t_allow_deleting_repositories/comment_2_53499da1185c56d8fd25f86ba41d96ce._comment @@ -0,0 +1,9 @@ +[[!comment format=mdwn + username="http://edheil.wordpress.com/" + ip="173.162.44.162" + subject="it also doesn't recognize when a local repository has been deleted manually" + date="2013-01-09T16:13:41Z" + 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)). + +"""]] |