From f2b80f885fcef06f73c15bbb82301e0b3101e66c Mon Sep 17 00:00:00 2001
From: Wojciech Ozga <woz@zurich.ibm.com>
Date: Fri, 31 May 2024 08:29:31 +0200
Subject: [PATCH] Create pull_request_template.md

---
 .github/pull_request_template.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 .github/pull_request_template.md

diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
new file mode 100644
index 0000000..d0f00cd
--- /dev/null
+++ b/.github/pull_request_template.md
@@ -0,0 +1,14 @@
+## Description of the changes
+<!-- Why is this change required? What problem does it solve? -->
+
+<!-- This PR Fixes #issue_number -->
+
+## Type of change
+- [ ] Bug fix (non-breaking change which fixes an issue)
+- [ ] New feature (non-breaking change which adds functionality)
+- [ ] Formal verification
+- [ ] Breaking change (fix or feature that would cause existing functionality to not work as expected)
+- [ ] Refactorization (non-breaking change which improves code quality)
+
+## How to test this PR?
+<!-- E.g., Run qemu-based hypervisor and then launch Linux-based confidential VM. -->