diff options
| author |  https://www.google.com/accounts/o8/id?id=AItOawlRThEwuPnr8_bcuuCTQ0rQd3w6AfeMiLY <Alex@web> | 2013-02-23 21:23:18 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2013-02-23 21:23:18 +0000 |
| commit | df9bde9acb700c952cbc6ff91348a3baab6402ae (patch) | |
| tree | c91738015866915525b7a9d409cf6a356c706cb0 /doc | |
| parent | 818ef9b66f9b8e41340e3d3a3031be76192e3398 (diff) | |
Added a comment
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/forum/Detached_git_work_tree__63__/comment_6_ffd9c67ecc5b46ae98996018573f5591._comment | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/forum/Detached_git_work_tree__63__/comment_6_ffd9c67ecc5b46ae98996018573f5591._comment b/doc/forum/Detached_git_work_tree__63__/comment_6_ffd9c67ecc5b46ae98996018573f5591._comment new file mode 100644 index 000000000..faecbf2f5 --- /dev/null +++ b/doc/forum/Detached_git_work_tree__63__/comment_6_ffd9c67ecc5b46ae98996018573f5591._comment @@ -0,0 +1,10 @@ +[[!comment format=mdwn + username="https://www.google.com/accounts/o8/id?id=AItOawlRThEwuPnr8_bcuuCTQ0rQd3w6AfeMiLY" + nickname="Alex" + subject="comment 6" + date="2013-02-23T21:23:18Z" + content=""" +Cool, thanks! The caveat shouldn't be much of a problem for my use case - with vcsh, the workdir is always $HOME, and I'm using the recommended mr-based workflow so the gitdir will always be ~/.config/vcsh/repo.d/$name.git in each clone. + +EDIT: fix erroneous path +"""]] |