diff options
author | 2015-05-19 12:18:06 +0000 | |
---|---|---|
committer | 2015-05-19 12:18:06 +0000 | |
commit | 6a20fe275f6f2e8626480d7b0d4a4f9924c85207 (patch) | |
tree | 2fac18ae92f6b557ebb023af41a105c5b69e4001 /doc/bare_repositories/comment_5_6328134497c0de6a088087fc9cb0e59e._comment | |
parent | 2acc562bd738d249b172a41f3b270a129d3ca2be (diff) |
Added a comment
Diffstat (limited to 'doc/bare_repositories/comment_5_6328134497c0de6a088087fc9cb0e59e._comment')
-rw-r--r-- | doc/bare_repositories/comment_5_6328134497c0de6a088087fc9cb0e59e._comment | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/doc/bare_repositories/comment_5_6328134497c0de6a088087fc9cb0e59e._comment b/doc/bare_repositories/comment_5_6328134497c0de6a088087fc9cb0e59e._comment new file mode 100644 index 000000000..80906857e --- /dev/null +++ b/doc/bare_repositories/comment_5_6328134497c0de6a088087fc9cb0e59e._comment @@ -0,0 +1,31 @@ +[[!comment format=mdwn + username="https://id.koumbit.net/anarcat" + subject="comment 5" + date="2015-05-19T12:18:05Z" + content=""" +Well, no, i don't think they changed, unless i missed something: there +shouldn't be a `.git` repository there. + +There are [various +instructions](http://stackoverflow.com/questions/10637378/how-do-i-convert-a-bare-git-repository-into-a-normal-one-in-place) +on how to do this online. They do seem to agree with the first comment +above. + +Personnally, I would just `git clone` to a different repo and `git +annex forget` the old one. Unless you have a very complex repository +with a lot of files, this is simple enough... You could even use `git +annex reinit` to recycle the previous uuid if that's a concern. So in +short: + + git clone repo.git repo + cd repo + git annex info --fast # find the UUID of repo.git + git annex move --from $UUID + git annex reinit $UUID + +Then `repo.git` can be removed if you are certain everything is +correct in `repo`. + +Note that you may want to have backups of everything before you do +anything, as usual. +"""]] |