It's disappointing that Github doesn't have repository mirroring, like many competitors do. I suppose that would encourage people to leave their walled garden but still take advantage of their features.