remove old closed bugs and todo items to speed up wiki updates and reduce size

Remove closed bugs and todos that were last edited or commented before Q3 2015.

Command line used:

for f in $(grep -l '\[\[done\]\]' -- *.mdwn); do d="$(echo "$f" | sed 's/.mdwn$//')"; if [ -z "$(git log --since=09-09-2015 --pretty=oneline -- "$f")" -a -z "$(git log --since=09-09-2015 --pretty=oneline -- "$d")" ]; then git rm -- "$f"; git rm -rf "$d"; fi; done
for f in $(grep -l '|done\]\]' -- *.mdwn); do d="$(echo "$f" | sed 's/.mdwn$//')"; if [ -z "$(git log --since=09-09-2015 --pretty=oneline -- "$f")" -a -z "$(git log --since=09-09-2015 --pretty=oneline -- "$d")" ]; then git rm -- "$f"; git rm -rf "$d"; fi; done

1 files changed, 0 insertions, 19 deletions

diff --git a/doc/todo/podcatching_handling_updated_files.mdwn b/doc/todo/podcatching_handling_updated_files.mdwn
deleted file mode 100644
index 2d9800283..000000000
--- a/doc/todo/podcatching_handling_updated_files.mdwn
+++ /dev/null
@@ -1,19 +0,0 @@
-Files in feeds can be updated, and if this update includes changing the
-url, `importfeed` will treat this as a new file. This results in `foo.mp3`
-having a `2_foo.mp3` added next to it.
-
-This seems to happen especially commonly with feeds using FeedBurner.
-Saw several with same size, different checksum and url.
-
-To detect this, `importfeed` could store the item's guid in the metadata
-of the key. Where it currently builds a `Map URLString Key` of all
-known items, it could instead build a `Map (Either URlString GUID) Key`.
-
-This would at least prevent the duplication, when the feed has guids.
-
-> [[done]] --[[Joey]]
-
-It would be even nicer if the old file could be updated with the new
-content. But, since files can be moved around, deleted, tagged, etc,
-that only seems practical at all if the file is still in the directory
-where `importfeed` created it.