From 088564603443b66015af0914c15545b3f149dbbb Mon Sep 17 00:00:00 2001
From: Moritz Sanft <58110325+msanft@users.noreply.github.com>
Date: Wed, 4 Oct 2023 10:26:10 +0200
Subject: [PATCH] github: add AB ticket link to PR template (#2397)

* add Azure DevOps ticket to PR template

Signed-off-by: Moritz Sanft <58110325+msanft@users.noreply.github.com>

* make additional info not optional

Signed-off-by: Moritz Sanft <58110325+msanft@users.noreply.github.com>

---------

Signed-off-by: Moritz Sanft <58110325+msanft@users.noreply.github.com>
---
 .github/pull_request_template.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
index 768d90aa77..d22194a63e 100644
--- a/.github/pull_request_template.md
+++ b/.github/pull_request_template.md
@@ -18,10 +18,10 @@ Feel free to edit, complete or extend this list while the PR is open.
 - link to the issue
 -->
 
-<!-- (uncomment if applicable)
 ### Additional info
+<!-- Remove items that do not apply -->
+- [AB#1234](https://dev.azure.com/Edgeless/Edgeless/_workitems/edit/1234)
 - Any additional information or context
--->
 
 ### Checklist
 <!-- Remove items that do not apply. For completed items, change [ ] to [x], or check after submitting. -->