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/todo/http_git_annex_404_retry.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/todo/http_git_annex_404_retry.mdwn')
-rw-r--r-- | doc/todo/http_git_annex_404_retry.mdwn | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/doc/todo/http_git_annex_404_retry.mdwn b/doc/todo/http_git_annex_404_retry.mdwn deleted file mode 100644 index 69680f0a1..000000000 --- a/doc/todo/http_git_annex_404_retry.mdwn +++ /dev/null @@ -1,18 +0,0 @@ -A repository like http://annex.debconf.org/debconf-share/ has a git repo -published via http. When getting files from such a repo, git-annex tries -two urls. One url would be used by a bare repo, and the other by a non-bare -repo. (This is due to the directory hashing change.) Result is every file -download from a non-bare http repo starts with a 404 and then it retries -with the right url. - -Since git-annex already downloads the .git/config to find the uuid of the -http repo, it could also look at it to see if the repo is bare. If not, -set a flag, and try the two urls in reverse order, which would almost -always avoid this 404 problem. - -(The real solution is probably to flag day and get rid of the old-style -directory hashing, but that's been discussed elsewhere.) - ---[[Joey]] - -[[done]] |