From last review, those two are not fixed and there is a reason why. Just click on them to see what is it about.
d20227c6
f8fff1f9
To use Gitpod you must first enable the feature in the integrations section of your user preferences.
