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/gitrm.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/gitrm.mdwn')
-rw-r--r-- | doc/todo/gitrm.mdwn | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/todo/gitrm.mdwn b/doc/todo/gitrm.mdwn deleted file mode 100644 index e41c33462..000000000 --- a/doc/todo/gitrm.mdwn +++ /dev/null @@ -1,5 +0,0 @@ -how to handle git rm file? (should try to drop keys that have no -referring file, if it seems safe..) - -[[done]] -- I think that git annex unused and dropunused are the best -solution to this. |