mirror of
https://github.com/zhigang1992/probot.github.io.git
synced 2026-06-16 19:51:45 +08:00
39
_apps/gitpod.md
Normal file
39
_apps/gitpod.md
Normal file
@@ -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:
|
||||
```
|
||||
Reference in New Issue
Block a user