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