From 9d78203570c0938136c5367cfc7e6320ab2d8cf9 Mon Sep 17 00:00:00 2001 From: Valentin Rothberg Date: Tue, 3 Nov 2020 15:06:14 +0100 Subject: add a PR template Add a pull-request template that points to the section in the contributing guidelines and to remind users to use the `[CI:DOCS]` prefix if applicable. Signed-off-by: Valentin Rothberg --- CONTRIBUTING.md | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'CONTRIBUTING.md') diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 308c7b197..1d2c26750 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -157,6 +157,10 @@ when the PR is merged. PRs will be approved by an [approver][owners] listed in [`OWNERS`](OWNERS). +In case you're only changing docs, make sure to prefix the PR title with +"[CI:DOCS]". That will prevent functional tests from running and save time and +energy. + ### Describe your Changes in Commit Messages Describe your problem. Whether your patch is a one-line bug fix or 5000 lines -- cgit v1.2.3-54-g00ecf