From b59ac63f310e4fae42bebed9e084759e607f7dde Mon Sep 17 00:00:00 2001 From: Marian Steinbach Date: Fri, 4 Aug 2023 11:10:23 +0200 Subject: [PATCH] Move pull request template into .github (#83) --- {docs => .github}/pull_request_template.md | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {docs => .github}/pull_request_template.md (100%) diff --git a/docs/pull_request_template.md b/.github/pull_request_template.md similarity index 100% rename from docs/pull_request_template.md rename to .github/pull_request_template.md