Add `-s github=false` to remove dependency on git remote.

NB that local git dir may be out of date.