more github tweaks