From 60b69f0a0faefbdc474e945d698ac5d7e399281c Mon Sep 17 00:00:00 2001 From: Anton Kosyakov Date: Wed, 12 Sep 2018 09:44:52 +0000 Subject: [PATCH] add gitpod bot Signed-off-by: Anton Kosyakov --- _apps/gitpod.md | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 _apps/gitpod.md diff --git a/_apps/gitpod.md b/_apps/gitpod.md new file mode 100644 index 0000000..6334c33 --- /dev/null +++ b/_apps/gitpod.md @@ -0,0 +1,39 @@ +--- +title: Gitpod +description: Open issues and pull requests in Gitpod +slug: gitpod-io +screenshots: +- https://user-images.githubusercontent.com/3082655/45426649-1a2bd100-b69d-11e8-9790-91cd6850bc63.png +authors: [ gitpod-io ] +repository: gitpod-io/gitpod-bot +host: https://gitpod-bot.now.sh +--- + +Open issues and pull requests in [Gitpod](http://www.gitpod.io). + +## How it works + +Gitpod is a one-click online IDE for GitHub. It can be started on any GitHub URL by prefixing it with `gitpod.io#`. +Gitpod Bot generates such links for issues and pull requests and post them as comments. + +## Installation + +After installing the app, create `.github/gitpod.yml` in the default branch to enable it: + +```yml +pulls: +# Enable for pull requests + perform: true +# Customize a comment to post on a pull request. Comment out to use the default +# comment: + +issues: +# enable for issues + perform: true +# issues with these labels will be considered. Set to `[]` to disable for issues + labels: + - help wanted + - good first issue +# Customize a comment to post on an issue. Comment out to use the default +# comment: +```