diff --git a/About-Dolphin's-CI-Bot.md b/About-Dolphin's-CI-Bot.md index 69e02f2..8ef27ea 100644 --- a/About-Dolphin's-CI-Bot.md +++ b/About-Dolphin's-CI-Bot.md @@ -6,19 +6,7 @@ * Updates PR status based on the CI builds/tests results. * 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. -* Provides a way for Dolphin maintainers to allow a PR author to merge their PR by themselves. -## Reverse PR Approval Workflow +## Triggering Rebuilds and Building of a PR from an Untrusted Developer -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. - -Two commands can be used by Dolphin maintainers in PR comments: - -* `@dolphin-emu-bot allowmerge` in a comment will show a link that allows the PR author to merge their change. -* `@dolphin-emu-bot disallowmerge` can be used to override that decision in a later comment. - -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 - -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. \ No newline at end of file +A trusted member can comment `@dolphin-emu-bot rebuild` as a comment in the PR to be built/rebuilt. Thoroughly review that the PR does not contain malicious code that might get executed on Dolphin's CI infrastructure before running this command. \ No newline at end of file