Comment by ericyd

It's a good idea! Extra bonus: the inevitable exodus of companies moving to a different platform might reduce github's scale to a point where they can handle their own traffic (zing!)