diff options
author | https://me.yahoo.com/a/EbvxpTI_xP9Aod7Mg4cwGhgjrCrdM5s-#7c0f4 <https://me.yahoo.com/a/EbvxpTI_xP9Aod7Mg4cwGhgjrCrdM5s-#7c0f4@web> | 2016-07-11 17:25:28 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2016-07-11 17:25:28 +0000 |
commit | 78042d940ef2e02c736e1d02afddc214cf6ae603 (patch) | |
tree | a91cc45db43414adf7387173c91a211923d2047b /doc/todo/git_annex_info_to_include_information_about_repo_version__63__ | |
parent | 8fe223345d2ceb5c17954a70df5914b5cee8f405 (diff) |
Added a comment
Diffstat (limited to 'doc/todo/git_annex_info_to_include_information_about_repo_version__63__')
-rw-r--r-- | doc/todo/git_annex_info_to_include_information_about_repo_version__63__/comment_4_5b3e45c746e6cfa7f511790bbd9f6c9f._comment | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/todo/git_annex_info_to_include_information_about_repo_version__63__/comment_4_5b3e45c746e6cfa7f511790bbd9f6c9f._comment b/doc/todo/git_annex_info_to_include_information_about_repo_version__63__/comment_4_5b3e45c746e6cfa7f511790bbd9f6c9f._comment new file mode 100644 index 000000000..3d5860fd0 --- /dev/null +++ b/doc/todo/git_annex_info_to_include_information_about_repo_version__63__/comment_4_5b3e45c746e6cfa7f511790bbd9f6c9f._comment @@ -0,0 +1,10 @@ +[[!comment format=mdwn + username="https://me.yahoo.com/a/EbvxpTI_xP9Aod7Mg4cwGhgjrCrdM5s-#7c0f4" + subject="comment 4" + date="2016-07-11T17:25:28Z" + content=""" +> git doesn't provide any command that outputs the repo version AFAIK, so it's not a useful precedent. + +well -- exactly that -- `git version` DOES NOT output repos (its index or whatnot) version HERE. It only provides information about git's version +Either there is some git command which outputs repo (index, ...) version is somewhat independent. But ok -- I don't care much enough, can take version from git config I guess indeed, even though 'annex info' seems to be the most logical location for that information to be provided from as well IMHO ;-) +"""]] |