Tweaks around github publishing