git: When updating from remote, use git pull --prune, to avoid possible errors from...
[ikiwiki] / doc / GPL
2006-03-24  joeymove