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:
- Simple JS library to use the W3C API in a declarative way☆16Updated last year
- A simple starter kit for incubations☆82Updated 11 months ago
- Congratulate users when their first PR is merged into your repository☆34Updated 2 years ago
- Fork from https://github.com/ooade/NextSimpleStarter☆18Updated 4 years ago
- MDN Web Docs Product Advisory Board☆28Updated 5 months ago
- [Deprecated] Command-line interface for Percy.☆19Updated 4 years ago
- ☆12Updated 10 months ago
- Theia's Website☆34Updated 2 weeks ago
- Welcome users when they open their first issue in your repository☆40Updated last year
- A probot app that asks if you're sure something is "super simple"☆12Updated 6 years ago
- Short descriptions of web platform features, for flexible usage in applications.☆13Updated 5 years ago
- W3C ∕ Node.js☆12Updated 4 years ago
- Example on howto use open-wc☆14Updated 6 years ago
- automatically invite authors of merged pull requests to your organization☆35Updated 7 years ago
- 🤖 Generate PR Description from Templates for Different Issues and PR☆17Updated 4 years ago
- The Ghost theme for https://www.freecodecamp.org/news☆9Updated 4 years ago
- ☆11Updated last year
- Hashes of popular JavaScript libraries, mainly for the Mozilla's addons-linter☆23Updated 3 years ago
- Prompts users to include documentation in pull requests☆33Updated 6 years ago
- automate the backporting process☆79Updated 3 weeks ago
- 🤖🔊 Probot App to help you write better on GitHub.☆42Updated 2 years ago
- A GitHub App, built with Probot that adds `triage` label to newly-created issues which don't have labels☆23Updated 2 years ago
- A space for the webcomponents community☆26Updated 2 years ago
- ☆25Updated 3 years ago
- A simple rock-paper-scissors game, that highlights the use of github.dev (w/CodeSwing + CodeTour) for interactive learning.☆25Updated 2 years ago
- Welcome users when they open their first PR in your repository☆20Updated 2 years ago
- 🤖 A perfect companion for your Open Collective☆77Updated 3 years ago
- Quickly build interactive websites with Eleventy & AMP.☆49Updated last year
- ☆22Updated this week
- Public GitHub repos that depend on Electron. spiritual successor to https://github.com/electron/repos-using-electron☆19Updated 2 years ago