diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-09-18 12:12:11 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-09-18 12:38:07 -0400 |
commit | 9d2ac4d87dc98bd2ab60da38a7e98f0964fd1595 (patch) | |
tree | cd3721adab7588d4d3814a26a58f748117700820 /doc/todo | |
parent | d5c5e3176d42ca627f21c977c49f1e234f5c1b1a (diff) |
lock to avoid more than one export to a remote at a time
This commit was sponsored by Jack Hill on Patreon.
Diffstat (limited to 'doc/todo')
-rw-r--r-- | doc/todo/export.mdwn | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/todo/export.mdwn b/doc/todo/export.mdwn index f979cd0c0..f23ed6866 100644 --- a/doc/todo/export.mdwn +++ b/doc/todo/export.mdwn @@ -26,11 +26,11 @@ Work is in progress. Todo list: export database is not populated. So, seems that the export database needs to get populated based on the export log in these cases. - This needs a (local) record of what treeish the (local) export db + This needs a (local) record of what tree the (local) export db was last updated for, which is updated at the same time as the export log. One way to record that would be as a git ref. - When the export log contains a different treeish than the local + When the export log contains a different tree than the local record, the export was updated in another repository, and so the export db needs to be updated. |