Added Gitpod to third-party tools (#4299)
Added Gitpod to third-party tools (#4299)


palantir/tslint,JoshuaKGoldberg/tslint,mprobst/tslint,JoshuaKGoldberg/tslint,JoshuaKGoldberg/tslint,mprobst/tslint,palantir/tslint,palantir/tslint,mprobst/tslint