diff options
Diffstat (limited to 'doc/bugs/three_character_directories_created/comment_5_359b80948ac92a0f1eb695599456486c._comment')
-rw-r--r-- | doc/bugs/three_character_directories_created/comment_5_359b80948ac92a0f1eb695599456486c._comment | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/doc/bugs/three_character_directories_created/comment_5_359b80948ac92a0f1eb695599456486c._comment b/doc/bugs/three_character_directories_created/comment_5_359b80948ac92a0f1eb695599456486c._comment deleted file mode 100644 index 6942efe52..000000000 --- a/doc/bugs/three_character_directories_created/comment_5_359b80948ac92a0f1eb695599456486c._comment +++ /dev/null @@ -1,10 +0,0 @@ -[[!comment format=mdwn - username="http://joeyh.name/" - nickname="joey" - subject="comment 5" - date="2013-03-30T18:01:28Z" - content=""" -Clearly this can happen if the git-annex branch is merged into the master branch. I cannot think of any valid reason to want to do that. reset --hard git-annex would also do it; ditto. - -Inclined to close this bug as user error; I'm pretty sure git-annex does not contain a bug that makes it merge in the git-annex branch on its own. Basically the only change that could be made to git-annex to prevent this kind of user error is to move the git-annex branch so it's not under refs/heads, and so is not a visible branch. But then `git push` would not push it either, which needs to happen. -"""]] |