diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-10-30 14:47:19 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-10-30 14:47:19 -0400 |
commit | 1cb15fe45dd42e051e7c2fce78052a2d7ccc636e (patch) | |
tree | f291faf739b6f3de476bc5eecfb4deb004443490 | |
parent | dc1c08d474518234642ce78935d8835ff847cf35 (diff) |
close
-rw-r--r-- | doc/todo/git_annex_info_to_include_information_about_repo_version__63__.mdwn | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/todo/git_annex_info_to_include_information_about_repo_version__63__.mdwn b/doc/todo/git_annex_info_to_include_information_about_repo_version__63__.mdwn index e752262e5..d983adcd0 100644 --- a/doc/todo/git_annex_info_to_include_information_about_repo_version__63__.mdwn +++ b/doc/todo/git_annex_info_to_include_information_about_repo_version__63__.mdwn @@ -1,3 +1,5 @@ I thought that 'git annex info' should be the best location to report current version (6 or before ATM?) of the repository, which seems to be stored only within .git/config. so I see how it somewhat possibly doesn't fit 'git annex info' which reports primarily from the state of git-annex branch, but since even "available local disk space" is in there, version better be reported there as well imho [[!meta author=yoh]] + +> Closing because it seems I don't need to do anything. [[done]] --[[Joey]] |