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:
Horus 2019-07-11 06:51:27 +00:00 • committed by admin
parent fb34c40064
commit 0b192fa30a
1 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

8
doc/forum/Change_a_special_remote__39__s_type/comment_2_c514ca0dd8b883e02de7c70b46991152._comment Normal file
View file

@ -0,0 +1,8 @@
[[!comment format=mdwn
username="Horus"
avatar="http://cdn.libravatar.org/avatar/8f0ee08b98ea5bba76c3fe112c08851c"
subject="comment 2"
date="2019-07-11T06:51:26Z"
content="""
In the meantime I have learned about `git annex forget --drop-dead --force`. With that I managed to make the repo forget about the dead remote.
"""]]