diff options
author | Joey Hess <joey@kitenet.net> | 2012-10-17 16:01:24 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2012-10-17 16:01:24 -0400 |
commit | d0d71981723e81d2eea2f223b94ace0375224d2c (patch) | |
tree | a659b06f39815856c2d9cb81ad07841558abcf1c | |
parent | 998f57820295857891d123ca1592c9c2e54e94c1 (diff) | |
parent | 2b5dd8ac67eef1df2ff345a17bb45976535fa119 (diff) |
Merge branch 'master' of ssh://git-annex.branchable.com
2 files changed, 16 insertions, 0 deletions
diff --git a/doc/bugs/submodule_path_problem/comment_4_ab1508a5a04e2106aad5e7985775a6fa._comment b/doc/bugs/submodule_path_problem/comment_4_ab1508a5a04e2106aad5e7985775a6fa._comment new file mode 100644 index 000000000..c46eedf8e --- /dev/null +++ b/doc/bugs/submodule_path_problem/comment_4_ab1508a5a04e2106aad5e7985775a6fa._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="http://joeyh.name/" + ip="2001:4978:f:21a::2" + subject="comment 4" + date="2012-10-17T18:29:24Z" + content=""" +Ok, fixed that. +"""]] diff --git a/doc/todo/wishlist:_An_option_like_--git-dir/comment_2_462264821cbc48a433330cbf7ec6044d._comment b/doc/todo/wishlist:_An_option_like_--git-dir/comment_2_462264821cbc48a433330cbf7ec6044d._comment new file mode 100644 index 000000000..980658dc6 --- /dev/null +++ b/doc/todo/wishlist:_An_option_like_--git-dir/comment_2_462264821cbc48a433330cbf7ec6044d._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="http://joeyh.name/" + ip="2001:4978:f:21a::2" + subject="comment 2" + date="2012-10-17T18:31:58Z" + content=""" +You can use `GIT_DIR`. It would not be hard to add a --git-dir option, the only catch is how to communicate that state on to where it constructs its git repository data structure. (I suppose it could just set GIT_DIR..) +"""]] |