Remove gitpod support

The following discussion from !141823 (merged) should be addressed:

• @vitallium started a discussion: (+2 comments)

  Do we still use gitpod in this project? I feel like we stopped using it everywhere, so we can remove it.

We no longer use gitpod and all references to it can be removed.