diff options
author | Joey Hess <joeyh@joeyh.name> | 2021-05-17 13:24:58 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2021-05-17 13:24:58 -0400 |
commit | 984034f335792fb4f180c1b163a2b266c2ac24f0 (patch) | |
tree | b0d1d4cfd578e3a7dfd14284e48dee6527be4795 /Logs.hs | |
parent | 8b6dad11a21510f3f372e5780d2c3c561422c4e2 (diff) |
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.
Diffstat (limited to 'Logs.hs')
-rw-r--r-- | Logs.hs | 10 |
1 files changed, 3 insertions, 7 deletions
@@ -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] |