Agree, he also mentioned that gitpod is slow as compared to github.

While I agree there are several other factors which play a part in which company is going to win, the L team at gitpod will be definitely be alarmed.