gitpod-io / gitpod-bot
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
- Fork from https://github.com/ooade/NextSimpleStarter☆18Updated 4 years ago
- Welcome users when they open their first issue in your repository☆40Updated last year
- MDN Web Docs Product Advisory Board☆28Updated 4 months ago
- Theia's Website☆34Updated this week
- Welcome users when they open their first PR in your repository☆20Updated 2 years ago
- A probot app that asks if you're sure something is "super simple"☆12Updated 6 years ago
- automatically invite authors of merged pull requests to your organization☆35Updated 7 years ago
- Client-side implementation, in typescript, of the Trace Server Protocol (TSP)☆9Updated 3 weeks ago
- An open-source registry for VS Code extensions☆11Updated 5 years ago
- ☆20Updated last week
- Homebrew Tap for DevHub☆11Updated last year
- Prompts users to include documentation in pull requests☆33Updated 6 years ago
- A space for the webcomponents community☆26Updated 2 years ago
- Simple JS library to use the W3C API in a declarative way☆16Updated last year
- Public GitHub repos that depend on Electron. spiritual successor to https://github.com/electron/repos-using-electron☆19Updated 2 years ago
- automate the backporting process☆79Updated this week
- This is the home of probot documentation, apps, how-to guides and more.☆119Updated this week
- External `.gitpod.yml` files.☆95Updated last year
- 🤖🔊 Probot App to help you write better on GitHub.☆42Updated 2 years ago
- Congratulate users when their first PR is merged into your repository☆34Updated 2 years ago
- machine-readable, always up-to-date GitHub REST API route specifications☆84Updated 4 years ago
- W3C ∕ Node.js☆12Updated 4 years ago
- Guidelines for the Node.js Twitter and automation through PRs to tweet.☆21Updated 2 years ago
- 📝⚙️ Lil' helper for replacing a section of the contents of a README.☆32Updated 2 years ago
- Octokit plugin to rename a branch in a github repository☆19Updated 3 years ago
- Updates an item on a GitHub Projects (beta) board based on a workflow dispatch (or other) event's input.☆28Updated 8 months ago
- GitHub Action for automating generic Node.js test/build and deploy to GH Pages☆32Updated 5 years ago
- Serverless cloud service components of the online-service project☆23Updated 2 years ago
- Test whether W3C spec repos match a set of best practices☆19Updated this week
- ☆56Updated 2 months ago