Revert "github won't update page source"

This reverts commit cc68d6b55f530ba8d9e0dff10e75654fa8e42068.