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

response

Browse source
This commit is contained in:
Joey Hess 2016-05-03 15:17:39 -04:00
parent 1a805c1f7c
commit 6f8a2f08f9
Failed to extract signature
1 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
doc/tips/what_to_do_when_you_lose_a_repository/comment_9_525e58e5941220b23b0ed73fa7611db1._comment Normal file
View file

@ -0,0 +1,14 @@
[[!comment format=mdwn
username="joey"
subject="""comment 9"""
date="2016-05-03T19:15:58Z"
content="""
Both `git annex sync` and `git pull` will still try to access the git
remote for the repository. Thing to do to prevent this is `git remote
remove` it.
I think it makes sense for `git annex sync` to still try to push/pull
from a dead remote, since git pull/push will still try to access it
too. Marking the remote dead does prevent other git-annex commands
from trying to use it for data storage.
"""]]