mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

dead: Remove dead repository from all groups.

Browse source 
This is less expensive than having inallgroup weed out dead repositories.
This commit is contained in:
Joey Hess 2012-10-10 15:39:13 -04:00
parent 9da7dd8874
commit bf72760af2
2 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Command/Dead.hs
View file

@ -11,6 +11,9 @@ import Common.Annex
import Command import Command
import qualified Remote import qualified Remote
import Logs.Trust import Logs.Trust
import Logs.Group
import qualified Data.Set as S
def :: [Command] def :: [Command]
def = [command "dead" (paramRepeating paramRemote) seek def = [command "dead" (paramRepeating paramRemote) seek
@ -29,4 +32,5 @@ start ws = do
perform :: UUID -> CommandPerform perform :: UUID -> CommandPerform
perform uuid = do perform uuid = do
trustSet uuid DeadTrusted trustSet uuid DeadTrusted
groupSet uuid S.empty
next $ return True next $ return True

1
debian/changelog vendored
View file

@ -3,6 +3,7 @@ git-annex (3.20121010) UNRELEASED; urgency=low
* Renamed --ingroup to --inallgroup. * Renamed --ingroup to --inallgroup.
* Standard groups changed to client, transfer, archive, and backup. * Standard groups changed to client, transfer, archive, and backup.
Each of these has its own standard preferred content setting. Each of these has its own standard preferred content setting.
* dead: Remove dead repository from all groups.
-- Joey Hess <joeyh@debian.org> Wed, 10 Oct 2012 12:59:25 -0400 -- Joey Hess <joeyh@debian.org> Wed, 10 Oct 2012 12:59:25 -0400