Add mechanism or instructions to push to output repository automagically when pushing to this source repository

[andsor]

At the moment, a collaborator can push to the output repository by running make github without pushing the changed source to this repository. This makes the blog prone to at least temporal inconsistencies.