> Who runs that site? Does it only do this for github or other sites, too? > > Riki Some Silicon Valley startup :) Gitlab is supported too, so it will be usable for the forthcoming official mirror there. Yuriy