diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
new file mode 100644
index 0000000000..568cf72402
--- /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 308c7b1972..1d2c267504 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