Package: git-annex Version: 0.21 Severity: wishlist As far as I can see, there's no way to remove a repository from git-annex.
If one of my clone with uuid $UUID got lost, its information are still in git-annex, which is a problem since it is no longer available. -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel: Linux 2.6.37-1-amd64 (SMP w/2 CPU cores) Locale: LANG=C, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/bash Versions of packages git-annex depends on: ii git [git-core] 1:1.7.4.1-1 fast, scalable, distributed revisi ii libc6 2.11.2-11 Embedded GNU C Library: Shared lib ii libffi5 3.0.9-3 Foreign Function Interface library ii libgmp3c2 2:4.3.2+dfsg-1 Multiprecision arithmetic library ii libpcre3 8.12-3 Perl 5 Compatible Regular Expressi ii openssh-client 1:5.8p1-2 secure shell (SSH) client, for sec ii rsync 3.0.7-2 fast remote file copy program (lik ii uuid 1.6.2-1 the Universally Unique Identifier git-annex recommends no packages. git-annex suggests no packages. -- no debconf information -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
