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 2017.

Command line used:

for f in $(grep -l '|done\]\]' -- *.mdwn); do d="$(echo "$f" | sed 's/.mdwn$//')"; if [ -z "$(git log --since=01-01-2017 --pretty=oneline -- "$f")" -a -z "$(git log --since=01-01-2017 --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=01-01-2017 --pretty=oneline -- "$f")" -a -z "$(git log --since=01-01-2017 --pretty=oneline -- "$d")" ]; then git rm -- "./$f" ; git rm -rf "./$d"; fi; done

1 files changed, 0 insertions, 13 deletions

diff --git a/doc/bugs/direct_cripple_mode_crippled_my_other_non-crippled_repos/comment_3_b2a029fc9f4765633ef5393fe091016e._comment b/doc/bugs/direct_cripple_mode_crippled_my_other_non-crippled_repos/comment_3_b2a029fc9f4765633ef5393fe091016e._comment
deleted file mode 100644
index 36555e30d..000000000
--- a/doc/bugs/direct_cripple_mode_crippled_my_other_non-crippled_repos/comment_3_b2a029fc9f4765633ef5393fe091016e._comment
+++ /dev/null
@@ -1,13 +0,0 @@
-[[!comment format=mdwn
- username="Kalle"
- subject="Had what I believe to be the same issue"
- date="2016-03-31T21:22:21Z"
- content="""
-[[Podcast_filename_encoding_breaks_Android_client/]]
-
-The problem for me was that the podcatcher setup would automatically download new dangerous files and wipe all repos... My workaround in the end was to use ``--template`` to create date only filenames for podcasts. A solution I still use but it's rather inconvenient as more descriptive filenames are useful.
-
-This is quite a dangerous bug as all you need is a direct mode repo and an unusual filename for your whole annex cluster to empty itself. It can be saved by git surgery but unless being very careful you just end up syncing the bad filename back from a repo or another.
-
-
-"""]]