GitHub repository: rujevic/browser-extension
Description: The browser extension for gitpod.io. Works with Chrome and Firefox.