Join us for office hours !

Gitpod

Open issues and pull requests in Gitpod
Screenshot of Gitpod app

Repository

gitpod-io/gitpod-bot

Authors

gitpod-io

Updated

September 14, 2018

Used By

TypeFox theia-ide JanitorTechnology ProjectAliceDev Sayo-nika abenchi gitpod-io

Open issues and pull requests in Gitpod.

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:

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:

Get occasional updates on new apps & features.

Star

with by @bkeepers

Code licensed ISC Docs licensed CC-BY-4.0