Temp fix for slow GitHub.