diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-08-29 17:26:42 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-08-29 17:26:42 -0400 |
commit | 4e6a32bdcc682b0f02a42f892b1626eb6f80b226 (patch) | |
tree | ec712d20624b847675f9b07fc32728cc4b222019 /doc/internals.mdwn | |
parent | 6256956f4f334b2fe7318f91b6ce86c9a4192c00 (diff) |
devblog
Diffstat (limited to 'doc/internals.mdwn')
-rw-r--r-- | doc/internals.mdwn | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/doc/internals.mdwn b/doc/internals.mdwn index 4ed8001d4..7d39b1068 100644 --- a/doc/internals.mdwn +++ b/doc/internals.mdwn @@ -176,10 +176,23 @@ File format is identical to preferred-content.log. Contains standard preferred content settings for groups. (Overriding or supplementing the ones built into git-annex.) -The file format is one line per group, staring with a timestamp, then a +The file format is one line per group, starting with a timestamp, then a space, then the group name followed by a space and then the preferred content expression. +## `export.log` + +Tracks what trees have been exported to special remotes by +[[git-annex-export]](1). + +Each line starts with a timestamp, then the uuid of the special remote, +followed by the sha1 of the tree that was exported to that special remote. + +(The exported tree is also grafted into the git-annex branch, at +`export.tree`, to prevent git from garbage collecting it. However, the head +of the git-annex branch should never contain such a grafted in tree; +the grafted tree is removed in the same commit that updates `export.log`.) + ## `aaa/bbb/*.log` These log files record [[location_tracking]] information |