diff options
author | Joey Hess <joey@kitenet.net> | 2014-05-29 15:23:05 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2014-05-29 15:23:05 -0400 |
commit | 1f6cfecc972b121fa42ea80383183bbaccc2195a (patch) | |
tree | 0a450c4226f5e05c2a3597a9f520376de281fffe /doc/bugs/weird_local_clone_confuses.mdwn | |
parent | a95fb731cd117f35a6e0fce90d9eb35d0941e26e (diff) |
remove old closed bugs and todo items to speed up wiki updates and reduce size
Remove closed bugs and todos that were least edited before 2014.
Command line used:
for f in $(grep -l '\[\[done\]\]' *.mdwn); do if [ -z $(git log --since=2014 --pretty=oneline "$f") ]; then git rm $f; git rm -rf $(echo "$f" | sed 's/.mdwn$//'); fi; done
Diffstat (limited to 'doc/bugs/weird_local_clone_confuses.mdwn')
-rw-r--r-- | doc/bugs/weird_local_clone_confuses.mdwn | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/doc/bugs/weird_local_clone_confuses.mdwn b/doc/bugs/weird_local_clone_confuses.mdwn deleted file mode 100644 index aa838f167..000000000 --- a/doc/bugs/weird_local_clone_confuses.mdwn +++ /dev/null @@ -1,20 +0,0 @@ -See -<http://www.git.code-experiments.com/blog/2011/01/manage-large-files-with-git-annex-by-joey-hess.html> - -If a local repo is cloned with "git clone orig/.git new", then git-annex in -new cannot see origin. - -the .git/config has "url=/.../orig/.git". Apparently git is ok with that -weird construction; probably it treats it as a bare git repo. But git-annex -just sees a directory w/o a .git subdir, and gives up. - ---- - -Just tested, and the new support for bare repositories didn't solve this. -(Because config.bare is not set.) - -I think this is not something git-annex should go out of its way to -support. [[done]] ---[[Joey]] - -Later.. Fixed this after all. --[[Joey]] |