From dd296522f0b3d9f41ed7be0db3538f1cb33c5086 Mon Sep 17 00:00:00 2001
From: Pandelis Symeonidis <54764628+Pandelissym@users.noreply.github.com>
Date: Tue, 21 Nov 2023 15:19:48 +0100
Subject: [PATCH] =?UTF-8?q?Rename=20.github/PULL=5FREQUEST=5FTEMPLATE/pull?=
 =?UTF-8?q?=5Frequest=5Ftemplate.md=20to=20.git=E2=80=A6=20(#100)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

This PR includes a fix for the PR template:

Moved the pull_request_template.md to the .github folder as having it in
a PULL_REQUEST_TEMPLATE folder requires the use of the `template` query
parameter to access the correct template. The use of the
PULL_REQUEST_TEMPLATE folder would be valid if we had multiple PR
templates. Currently we have only one so putting it directly into the
.github directory allows github to set it as the default template
automatically.

More information can be found here:
https://docs.github.com/en/communities/using-templates-to-encourage-useful-issues-and-pull-requests/creating-a-pull-request-template-for-your-repository
---
 .github/{PULL_REQUEST_TEMPLATE => }/pull_request_template.md | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .github/{PULL_REQUEST_TEMPLATE => }/pull_request_template.md (100%)

diff --git a/.github/PULL_REQUEST_TEMPLATE/pull_request_template.md b/.github/pull_request_template.md
similarity index 100%
rename from .github/PULL_REQUEST_TEMPLATE/pull_request_template.md
rename to .github/pull_request_template.md