Thread:Extension talk:Push/push and logbook

Its a very nice and useful extension and we use it inside a wiki farm.

but helpful would be a information about pushed articles, like a push log history. a log file would be enough for the first steps.