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

response

Browse source
This commit is contained in:
Joey Hess 2018-10-04 15:10:01 -04:00
commit 123be593a3
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
1 changed files with 10 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

10
doc/git-annex-sync/comment_2_cc11f83a06352e5049dcbc588d216f27._comment Normal file
View file

@ -0,0 +1,10 @@
[[!comment format=mdwn
username="joey"
subject="""comment 2"""
date="2018-10-04T19:07:09Z"
content="""
git-annex sync pulls before pushing. If another push occurs at the same
time, the push might fail, but retrying the pull will not avoid that same
situation occurring again. I don't think it makes sense for git-annex sync
to retry an arbitrary number of times.
"""]]