From adb0adb1d2ee8661283bf4d1f9246d65d8203244 Mon Sep 17 00:00:00 2001
From: "Lubomir I. Ivanov" <neolit123@gmail.com>
Date: Thu, 16 Nov 2017 15:51:17 +0200
Subject: github: update PR template with 'documentation-change'

Add a 'Documentation change' section to the PR body.
This instructs the PR submitter to edit the section
with notes for the team editing the documentation.

If a PR has such notes, a maintainer should then
apply the needs-documentation-change label, so
that the documentation team can easily filter
such PRs by label.

Suggested-by: Miika Turkia <miika.turkia@gmail.com>
Signed-off-by: Lubomir I. Ivanov <neolit123@gmail.com>
---
 .github/PULL_REQUEST_TEMPLATE.md | 5 +++++
 1 file changed, 5 insertions(+)

(limited to '.github/PULL_REQUEST_TEMPLATE.md')

diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
index 2265e7df2..7ba3fe91f 100644
--- a/.github/PULL_REQUEST_TEMPLATE.md
+++ b/.github/PULL_REQUEST_TEMPLATE.md
@@ -30,5 +30,10 @@
 <!-- Describe if this change needs a release note present in ReleaseNotes/ReleaseNotes.txt. -->
 <!-- Also, please make sure to update the ReleaseNotes/ReleaseNotes.txt file itself. -->
 
+### Documentation change:
+<!-- If this PR makes changes to user functionality, then the documentation has to be updated too. -->
+<!-- Please, briefly outline here what has changed in terms of the user experience (UX). -->
+<!-- If UX changes have been made, a maintainer should apply the 'needs-documentation-change' label. -->
+
 ### Mentions:
 <!-- Mention users that you want to review your pull request with @<user-name>. Leave empty if not sure. -->
-- 
cgit v1.2.3-70-g09d2