[teen]

I mean load a pull request from Github (takes <1s) Load one from Gitlab and it takes 10+ sec. Maybe I'm spoiled from using Google's tools previously.