filter-branch working aside from some edge cases
Added a note to man page about what happens to information that is recorded in the private journal. Since it uses Branch.get, that information will be copied when options allow. It seemed better to allow it and document it than not allow it, since the options allow excluding repositories and so can be used to exclude private repos if desired.
This commit is contained in:
parent
8b6dad11a2
commit
984034f335
5 changed files with 44 additions and 16 deletions
10
Logs.hs
10
Logs.hs
|
@ -72,13 +72,9 @@ keyLogFiles config k =
|
|||
, chunkLogFile config k
|
||||
] ++ oldurlLogs config k
|
||||
|
||||
{- All the log files that do not contain information specific to a key. -}
|
||||
nonKeyLogFiles :: [RawFilePath]
|
||||
nonKeyLogFiles = concat
|
||||
[ topLevelNewUUIDBasedLogs
|
||||
, topLevelOldUUIDBasedLogs
|
||||
, otherTopLevelLogs
|
||||
]
|
||||
{- All uuid-based logs stored in the top of the git-annex branch. -}
|
||||
topLevelUUIDBasedLogs :: [RawFilePath]
|
||||
topLevelUUIDBasedLogs = topLevelNewUUIDBasedLogs ++ topLevelOldUUIDBasedLogs
|
||||
|
||||
{- All the old-format uuid-based logs stored in the top of the git-annex branch. -}
|
||||
topLevelOldUUIDBasedLogs :: [RawFilePath]
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue