If they already use Github for their _private_ repos, then it's the opposite situation: running a separate read-only site for the public code would add an entir

If they already use Github for their _private_ repos, then it's the opposite situation: running a separate read-only site for the public code would add an entire web-facing system for no gain.