Remove redundant section header from pull request template

The "General Information" section is an extended "Description" and doesn't need it's own header. Removing it makes the PR description look better when rendered.
trinodb · Feb 16, 2022 · 3af97d6 · 3af97d6
1 parent 6a48c43
commit 3af97d6
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
@@ -4,8 +4,6 @@
 
 <!-- Elaborate beyond the title of the PR as necessary to help the reviewers and maintainers.-->
 
-## General information
-
 <!-- Answer the following questions to help reviewers and maintainers
 understand this PR's scope at a glance:
 -->