mirror of
https://github.com/zhigang1992/probot.github.io.git
synced 2026-04-28 12:15:27 +08:00
40 lines
1.1 KiB
Markdown
40 lines
1.1 KiB
Markdown
---
|
|
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:
|
|
```
|