From 951a407c545247d25d4b697262b64b01728a34ff Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Zemanovi=C4=8D?= Date: Fri, 7 Jul 2023 10:09:37 +0100 Subject: [PATCH] github: make the PR template the default --- .../new_topic.md => pull_request_template.md} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename .github/{PULL_REQUEST_TEMPLATE/new_topic.md => pull_request_template.md} (100%) diff --git a/.github/PULL_REQUEST_TEMPLATE/new_topic.md b/.github/pull_request_template.md similarity index 100% rename from .github/PULL_REQUEST_TEMPLATE/new_topic.md rename to .github/pull_request_template.md