From 8e29f037ec5cdbd76bc55ddd1d76bb68e0988c16 Mon Sep 17 00:00:00 2001
From: Kaartic Sivaraam <kaartic.sivaraam@gmail.com>
Date: Wed, 18 Mar 2020 16:35:46 +0530
Subject: [PATCH] PULL_REQUEST_TEMPLATE: request only issue number

For some time now, GitHub is showing cards when we hover over an issue
number which gives us a quick summary of the issue. The issue title is
shown in the card among other things.

Given that and the fact that we already require the issue number to be
specified in the pull request description, it's now moot to
ask the contributors to include the issue title in the pull request
description. So, let's remove this unnecessary burden from them.
---
 PULL_REQUEST_TEMPLATE.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/PULL_REQUEST_TEMPLATE.md b/PULL_REQUEST_TEMPLATE.md
index 50634fa602..aa9be32a3b 100644
--- a/PULL_REQUEST_TEMPLATE.md
+++ b/PULL_REQUEST_TEMPLATE.md
@@ -1,6 +1,6 @@
 **Description (required)**
 
-Fixes #{GitHub issue number} {Github issue title}
+Fixes #{GitHub issue number}
 
 What changes did you make and why?