diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-09-18 18:40:16 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-09-18 19:21:41 -0400 |
commit | 36533ce176ec653f62fe740f9907f527e4f36361 (patch) | |
tree | 0c507668c7d19950efa7877ca2155e71ccdb1472 /Utility/Su.hs | |
parent | 7576fff0131d4f86dc495d58f62490c3264e0e54 (diff) |
merge changes made on other repos into ExportTree
Now when one repository has exported a tree, another repository can get
files from the export, after syncing.
There's a bug: While the database update works, somehow the database on
disk does not get updated, and so the database update is run the next
time, etc. Wasn't able to figure out why yet.
This commit was sponsored by Ole-Morten Duesund on Patreon.
Diffstat (limited to 'Utility/Su.hs')
0 files changed, 0 insertions, 0 deletions