From c5b96316edb207f6efd66eb4b4cb494df36ae49f Mon Sep 17 00:00:00 2001
From: Fabian Zaiser <fzaiser@amazon.com>
Date: Thu, 19 Oct 2023 12:27:24 -0400
Subject: [PATCH] Remove clutter from PR template (#96)

The current template is very noisy when looking at `git log` (because it
shows the HTML comments) and a lot of it didn't apply to this project.

By submitting this pull request, I confirm that my contribution is made
under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).
---
 .github/PULL_REQUEST_TEMPLATE.md | 14 +-------------
 1 file changed, 1 insertion(+), 13 deletions(-)

diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
index 924d325d..98cc394d 100644
--- a/.github/PULL_REQUEST_TEMPLATE.md
+++ b/.github/PULL_REQUEST_TEMPLATE.md
@@ -1,13 +1 @@
-Fixes #
-
-<!-- Is this a user-visible change?  Remember to update RELEASE_NOTES.md -->
-
-<!-- Is this a bug fix?  Remember to include a test in Test/git-issues/ -->
-
-<!-- Is this a bug fix for an issue introduced in the latest release?  Mention this in the PR details and ensure a patch release is considered -->
-
-<!-- Does this PR need tests?  Add them to `Test/` or to `Source/*.Test/…` and run them with `dotnet test` -->
-
-<!-- Are you moving a large amount of code? Read CONTRIBUTING.md to learn how to do that while maintaining git history -->
-
-<small>By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>
+By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).