config: New command for storing configuration in the git-annex branch.

Any config names can be set using this; git-annex commands will only look
at specific ones that make sense and are worth the overhead of querying the
branch.

This might also be useful for storing whatever other config-type stuff the
user might want to shove into the git-annex branch.

This commit was sponsored by Jochen Bartl on Patreon.

1 files changed, 3 insertions, 0 deletions

diff --git a/Logs.hs b/Logs.hs
index a3dd968880..38bd1c0683 100644
--- a/Logs.hs
+++ b/Logs.hs
@@ -63,6 +63,9 @@ uuidLog = "uuid.log"
 numcopiesLog :: FilePath
 numcopiesLog = "numcopies.log"
 
+configLog :: FilePath
+configLog = "config.log"
+
 remoteLog :: FilePath
 remoteLog = "remote.log"