From 73e9a7fbdb1448ecab0767729dad17544ba7d1b5 Mon Sep 17 00:00:00 2001 From: "https://www.google.com/accounts/o8/id?id=AItOawn-4QWOFI0QQ4n-yu-oFq3PHeuSPUv_-b4" Date: Fri, 11 Jan 2013 04:19:01 +0000 Subject: --- doc/bugs/Old_repository_stuck.mdwn | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 doc/bugs/Old_repository_stuck.mdwn diff --git a/doc/bugs/Old_repository_stuck.mdwn b/doc/bugs/Old_repository_stuck.mdwn new file mode 100644 index 000000000..45f61425f --- /dev/null +++ b/doc/bugs/Old_repository_stuck.mdwn @@ -0,0 +1,5 @@ +I had created a test repository a time ago with an old version of git-annex. I didn't really used it so I simply deleted the directory by hand. Now I've installed a new version of git-annex and the old repository stills appears on the webapp, but there is no interface to delete it. + +Old git-annex version: don't remember +New git-annex version: I downloaded 3.20130107 (twice to be sure), but for some reason 'git-annex version' reports 3.20130102 +OS: Ubuntu 12.04.1 LTS 3.2.0-35-generic-pae #55-Ubuntu SMP Wed Dec 5 18:04:39 UTC 2012 i686 i686 i386 GNU/Linux -- cgit v1.2.3