From 9d78203570c0938136c5367cfc7e6320ab2d8cf9 Mon Sep 17 00:00:00 2001
From: Valentin Rothberg <rothberg@redhat.com>
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 <rothberg@redhat.com>
---
 .github/PULL_REQUEST_TEMPLATE.md | 7 +++++++
 CONTRIBUTING.md                  | 4 ++++
 2 files changed, 11 insertions(+)
 create mode 100644 .github/PULL_REQUEST_TEMPLATE.md

diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
new file mode 100644
index 000000000..568cf7240
--- /dev/null
+++ b/.github/PULL_REQUEST_TEMPLATE.md
@@ -0,0 +1,7 @@
+<!--
+Thanks for sending a pull request!
+
+Please make sure you've read our contributing guidelines and how to submit a pull request (https://github.com/containers/podman/blob/master/CONTRIBUTING.md#submitting-pull-requests).
+
+In case you're only changing docs, make sure to prefix the pull-request title with "[CI:DOCS]".  That will prevent functional tests from running and save time and energy.
+-->
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