Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | remove old closed bugs and todo items to speed up wiki updates and reduce size | 2017-09-29 | |
| | | | | | | | | | 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 | ||
* | assistant: Pass ssh-options through 3 more git pull/push calls that were ↵ | 2015-11-10 | |
missed before. It was used for regular pull, but not for regular push, tagged push, or the fallback fetching. |