summaryrefslogtreecommitdiff
path: root/doc/bugs/Repository_deletion_error.mdwn
Commit message (Collapse)AuthorAge
* remove old closed bugs and todo items to speed up wiki updates and reduce sizeGravatar Joey Hess2014-05-29
| | | | | | | | 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
* assistant: When built with git before 1.8.0, use `git remote rm` to delete a ↵Gravatar Joey Hess2013-04-22
| | | | remote. Newer git uses `git remote remove`.
* (no commit message)Gravatar https://www.google.com/accounts/o8/id?id=AItOawniayrgSdVLUc3c6bf93VbO-_HT4hzxmyo2013-04-22