kylefang/probot.github.io
1
0
Fork 0
mirror of https://github.com/zhigang1992/probot.github.io.git synced 2026-01-12 22:49:53 +08:00
Code Issues Packages Projects Releases Wiki Activity
Files
d35eed3221995652da1b178a902e82576be2fe9b
probot.github.io/_apps/gitpod.md
Brandon Keepers b91445930d Sync data
2018-10-10 21:11:29 +00:00

1.2 KiB
Raw Blame History

title, description, slug, screenshots, authors, repository, host, stars, updated, installations, organizations
title description slug screenshots authors repository host stars updated installations organizations
Gitpod Open issues and pull requests in Gitpod gitpod-io
https://user-images.githubusercontent.com/3082655/45426649-1a2bd100-b69d-11e8-9790-91cd6850bc63.png
gitpod-io
gitpod-io/gitpod-bot https://gitpod-bot.now.sh 2 2018-09-14 12:30:11 UTC 10
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: