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
cf537874e577f2360106b3aee52abddc014d4ad3
probot.github.io/_apps/gitpod.md
Brandon Keepers 23b3d859d4 Sync data
2019-01-09 22:00:45 +00:00

1.3 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 5 2018-09-14 12:30:11 UTC 13
caouecs
TypeFox
theia-ide
JanitorTechnology
ProjectAliceDev
gitpod-io
Sayo-nika
abenchi

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: