minor github tweaks