From eba3b6215caf6bf9e455d3b50fad58e878abc5e1 Mon Sep 17 00:00:00 2001 From: Pringo Date: Sun, 2 Oct 2016 16:51:07 -0700 Subject: [PATCH] Minor capitalization and grammar changes. --- About-Dolphin's-CI-Bot.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/About-Dolphin's-CI-Bot.md b/About-Dolphin's-CI-Bot.md index 6e70de4..69e02f2 100644 --- a/About-Dolphin's-CI-Bot.md +++ b/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. * 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. +* 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 +## 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. @@ -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. -## 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. \ No newline at end of file