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:
https://www.google.com/accounts/o8/id?id=AItOawkzwmw_zyMpZC9_J7ey--woeYPoZkAOgGw 2013-11-06 14:24:21 +00:00 • committed by admin
parent 0047f22c59
commit 6bc355ed68
1 changed files with 11 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

11
doc/forum/Purge_a_remote/comment_4_7fad1c4798ca03a4095ac3241c279f6d._comment Normal file
View file

@ -0,0 +1,11 @@
[[!comment format=mdwn
username="https://www.google.com/accounts/o8/id?id=AItOawkzwmw_zyMpZC9_J7ey--woeYPoZkAOgGw"
nickname="dxtrish"
subject="comment 4"
date="2013-11-06T14:24:21Z"
content="""
That is exactly what I have wanted to do a couple of times now and 'git remote remove' does not seem to remove it all either.
When I try to create a new repository in the same place it still complains about that darn UUID :)
What is working is to manually add the new UUID to .git/config
"""]]