diff options
| author |  http://joeyh.name/ <joey@web> | 2013-03-30 18:01:29 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2013-03-30 18:01:29 +0000 |
| commit | 6dcb88d4d76e92f8f3727f0669718e894b4d3011 (patch) | |
| tree | 456228eb27b8c5912b7b5ef7d610fa1eb56f4fc8 /doc/bugs/three_character_directories_created/comment_5_359b80948ac92a0f1eb695599456486c._comment | |
| parent | cbdcfbe524c87a83c3d59cf3c1944648d82ab1a1 (diff) | |
Added a comment
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, 10 insertions, 0 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 new file mode 100644 index 000000000..6942efe52 --- /dev/null +++ b/doc/bugs/three_character_directories_created/comment_5_359b80948ac92a0f1eb695599456486c._comment @@ -0,0 +1,10 @@ +[[!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. +"""]] |