From 0e271abb5e7665d8c932436d91441bc4d700efd8 Mon Sep 17 00:00:00 2001 From: Sebastian Wilzbach Date: Tue, 16 Jan 2018 00:59:51 +0100 Subject: [PATCH] Add 'For anyone else' reminder about adding reactions --- source/dlangbot/github.d | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/source/dlangbot/github.d b/source/dlangbot/github.d index 2a42283..3b37edc 100644 --- a/source/dlangbot/github.d +++ b/source/dlangbot/github.d @@ -64,6 +64,7 @@ Bear in mind that large or tricky changes may require multiple rounds of review Please see [CONTRIBUTING.md](https://github.com/%s/blob/master/CONTRIBUTING.md) for more information.`, pr.user.login, pr.repoSlug); + } static immutable bugzillaReferences = ["dlang/dmd", "dlang/druntime", "dlang/phobos", @@ -90,6 +91,12 @@ If your PR contains non-trivial changes, please [reference a Bugzilla issue](htt app ~= "### ⚠️⚠️⚠️ Warnings ⚠️⚠️⚠️\n\n"; app.printMessages(msgs); } + app.put(` +### For anyone else + +Reactions help us determine how many people are interested in a pull request or have run across a similar bug. Please leave a +1 reaction (:+1:) if that applies to you. Any additional details you can provide, such as your usecase, environment, steps to reproduce, or workarounds you have found, can help out with getting pull requests merged. +You don't need merge permissions to review a pull request. Review the diff and point out problematic bits you did encounter.`); + return app.data; }