From 91729ec16290d27667813a61f876e93566302747 Mon Sep 17 00:00:00 2001 From: Oliver Sauder Date: Tue, 5 Oct 2021 23:54:02 +0400 Subject: [PATCH] Move pull request template to github directory This file is part of the github workflow and not the documentation so for consistency reason be moved to `.github` to be accompanied with the issue template. --- {docs => .github}/pull_request_template.md | 0 docs/conf.py | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) 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 diff --git a/docs/conf.py b/docs/conf.py index d36b32c1..cd9266ce 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -88,7 +88,7 @@ # List of patterns, relative to source directory, that match files and # directories to ignore when looking for source files. -exclude_patterns = ["_build", "pull_request_template.md"] +exclude_patterns = ["_build"] # The reST default role (used for this markup: `text`) to use for all # documents.