mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Added a comment

Browse source
This commit is contained in:
Ilya_Shlyakhter 2018-10-04 19:30:07 +00:00 • committed by admin
parent 8048b956ab
commit 9c041ed475
1 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
doc/git-annex-sync/comment_3_cf05eba2bcc10f48092334f9ce889863._comment Normal file
View file

@ -0,0 +1,8 @@
[[!comment format=mdwn
username="Ilya_Shlyakhter"
avatar="http://cdn.libravatar.org/avatar/1647044369aa7747829c38b9dcc84df0"
subject="comment 3"
date="2018-10-04T19:30:07Z"
content="""
Maybe, have a config option for the number of retries or the maximum time to keep trying? An important property of git-annex-sync is that, even though it does merging, it does not normally fail. It'd be good to keep that guarantee even in the face of concurrent access to the repo. Alternately, you could push to a new branch synced/uuid/branchname, and then when git-annex-sync is later done at the target repo locally, merge from each of the synced/*/branchname .
"""]]