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, 7 deletions

diff --git a/doc/todo/Remove___39__superfluous_constraints__39___warnings.mdwn b/doc/todo/Remove___39__superfluous_constraints__39___warnings.mdwn
deleted file mode 100644
index d159ce535..000000000
--- a/doc/todo/Remove___39__superfluous_constraints__39___warnings.mdwn
+++ /dev/null
@@ -1,7 +0,0 @@
-Please pull branch `patch-1` from repo
-
-https://github.com/ggreif/git-annex.git
-
-It contains some cleanups from warnings that appear with GHC 7.11 (and probably 8.0 too).
-
-> Merged and thank you! [[done]] --[[Joey]]