H3cJP/dolphin
1
0
Fork 0
mirror of https://github.com/dolphin-emu/dolphin.git synced 2025-07-13 09:23:47 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Updated About the Dolphin buildbot (markdown)

archshift 2014-08-12 22:28:33 -07:00
parent 01335d0bbf
commit 2b33caf431
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
About-the-Dolphin-buildbot.md

@ -5,7 +5,7 @@
* Automatically builds incoming pull requests authored by trusted developers, and rebuilds on PR updates.
* Updates PR status based on the CI builds/tests results.
* Show updates about GitHub activity on Dolphin's IRC channel.
* Shows updates about (legacy) Google Code activity on Dolphin's IRC channel.
* Shows updates about outstanding [Issues](https://code.google.com/p/dolphin-emu/issues) on Dolphin's IRC channel.
* Provides a way for Dolphin maintainers to allow a PR author to merge their PR by themselves.
## Reverse PR approval workflow
@ -21,4 +21,4 @@ The last of these two commands in PR comments will determine the status of the P
## Triggering rebuilds of a PR from an untrusted developer
Just use the `@dolphin-emu-bot rebuild` command in a PR comment. Be careful that the PR does not contain anything dodgy that might get executed on Dolphin's CI infrastructure.
Just use the `@dolphin-emu-bot rebuild` command in a PR comment. Be careful that the PR does not contain anything dodgy that might get executed on Dolphin's CI infrastructure.