>> the git push output, because rendering the wiki from command line doesn't have this
>> problem.
>>
+>> One more thing, my setup uses the pingee plugin. When doing a git push, it browses to
+>> the wiki page using wget with `?do=ping` parameter, and then ikiwiki responds by rebuilding
+>> the necessary pages.
+>>
>> Thanks for the pointers.
>>
>> --[[fr33domlover]]