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/pushpull.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/pushpull.mdwn')
| -rw-r--r-- | doc/todo/pushpull.mdwn | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/todo/pushpull.mdwn b/doc/todo/pushpull.mdwn deleted file mode 100644 index 6828b35b2..000000000 --- a/doc/todo/pushpull.mdwn +++ /dev/null @@ -1,4 +0,0 @@ ---push/--pull should take a reponame and files, and push those files - to that repo; dropping them from the current repo - -[[done]] (move --from/--to) |