gitpod-io / gitpod-botLinks
A GitHub App built with Probot that opens issues and pull requests in Gitpod.
☆19Updated 6 years ago
Alternatives and similar repositories for gitpod-bot
Users that are interested in gitpod-bot are comparing it to the libraries listed below
Sorting:
- MDN Web Docs Product Advisory Board☆28Updated 2 months ago
- External `.gitpod.yml` files.☆97Updated 2 years ago
- A simple starter kit for incubations☆89Updated 4 months ago
- Hashes of popular JavaScript libraries, mainly for the Mozilla's addons-linter☆23Updated 4 years ago
- This is the home of probot documentation, apps, how-to guides and more.☆126Updated this week
- A list of cool open-source projects that you can contribute to with one click☆83Updated last year
- Privacy policy, code of conduct, license, and other npm legal stuff☆70Updated 4 years ago
- Public GitHub repos that depend on Electron. spiritual successor to https://github.com/electron/repos-using-electron☆19Updated 3 years ago
- Theia's Website☆36Updated this week
- (Deprecated) Content for https://mdn.dev☆25Updated 3 years ago
- Share ideas for new GitHub Apps built with Probot☆98Updated 3 years ago
- A space for the webcomponents community☆26Updated 3 years ago
- Requests more info from PRs/Issues with either the default title or a blank body☆115Updated 3 years ago
- Service and API for Web API Confluence: Metrics for web platform health☆91Updated 4 months ago
- (Deprecated) MDN Web Docs Infrastructure scripts and configuration☆52Updated 2 years ago
- 🤖 A perfect companion for your Open Collective☆78Updated 4 years ago
- automatically invite authors of merged pull requests to your organization☆35Updated 7 years ago
- ☆22Updated 3 weeks ago
- Built-in VS Code extensions for Theia☆79Updated last week
- The markojs.com website☆39Updated 3 months ago
- Normandy recipe editor☆14Updated 4 years ago
- Congratulate users when their first PR is merged into your repository☆33Updated 2 years ago
- ☆38Updated 6 years ago
- RemoteHub is a proof-of-concept vscode extension that allows for remotely browsing a GitHub repository.☆76Updated 4 years ago
- Open Collective's PDF Server☆82Updated this week
- Serverless cloud service components of the online-service project☆24Updated 2 years ago
- Welcome users when they open their first issue in your repository☆40Updated 2 years ago
- Developer docs for Chrome Web Store:☆67Updated 3 years ago
- automate the backporting process☆85Updated last week
- GitHub Action for automating generic Node.js test/build and deploy to GH Pages☆32Updated 5 years ago