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

Minor capitalization and grammar changes.

Pringo 2016-10-02 16:51:07 -07:00
parent 485f2fbba4
commit eba3b6215c
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
About-Dolphin's-CI-Bot.md

@ -1,14 +1,14 @@
@dolphin-emu-bot, aka. irrawaddy, aka. [Dolphin Central](https://github.com/dolphin-emu/sadm/tree/master/central) is a piece of software that controls interaction between our CI system (Buildbot) and GitHub. @dolphin-emu-bot, aka irrawaddy, aka [Dolphin Central](https://github.com/dolphin-emu/sadm/tree/master/central) is a piece of software that controls interaction between our CI system (Buildbot) and GitHub.
## What does it do? ## What Does It Do?
* Automatically builds incoming pull requests authored by trusted developers, and rebuilds on PR updates. * Automatically builds incoming pull requests authored by trusted developers, and rebuilds on PR updates.
* Updates PR status based on the CI builds/tests results. * Updates PR status based on the CI builds/tests results.
* Show updates about GitHub activity on Dolphin's IRC channel. * Show updates about GitHub activity on Dolphin's IRC channel.
* Shows updates about outstanding [Issues](https://bugs.dolphin-emu.org/projects/emulator) on Dolphin's IRC channel. * Shows updates about outstanding [issues](https://bugs.dolphin-emu.org/projects/emulator) on Dolphin's IRC channel.
* Provides a way for Dolphin maintainers to allow a PR author to merge their PR by themselves. * Provides a way for Dolphin maintainers to allow a PR author to merge their PR by themselves.
## Reverse PR approval workflow ## Reverse PR Approval Workflow
One of the recent additions to @dolphin-emu-bot's features is the ability to make a PR mergeable by its author. The idea behind this feature is to reduce PR review latency by pre-allowing a PR to be merged before it's completely ready. For example, if an otherwise good PR has a typo in documentation, the repo maintainer can comment on this typo asking for a fix, and pre-allow the merge so that the PR author can merge the change themselves after the fix has been applied. One of the recent additions to @dolphin-emu-bot's features is the ability to make a PR mergeable by its author. The idea behind this feature is to reduce PR review latency by pre-allowing a PR to be merged before it's completely ready. For example, if an otherwise good PR has a typo in documentation, the repo maintainer can comment on this typo asking for a fix, and pre-allow the merge so that the PR author can merge the change themselves after the fix has been applied.
@ -19,6 +19,6 @@ Two commands can be used by Dolphin maintainers in PR comments:
The last of these two commands in PR comments will determine the status of the PR (author mergeable or not). Default status is, obviously, unmergeable. The last of these two commands in PR comments will determine the status of the PR (author mergeable or not). Default status is, obviously, unmergeable.
## Triggering rebuilds of a PR from an untrusted developer ## 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.