From e2c522f4c630133b60252d7b62e924ed262459f3 Mon Sep 17 00:00:00 2001 From: Chip Zoller Date: Thu, 15 Apr 2021 13:34:02 -0400 Subject: [PATCH] fix link to PR doc (#1803) Signed-off-by: Chip Zoller --- .github/PULL_REQUEST_TEMPLATE.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index f1eccf20a6..16a05d607c 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -36,7 +36,7 @@ Describe the big picture of your changes here to communicate to the maintainers ### Proof Manifests