github: add AB ticket link to PR template (#2397)

* add Azure DevOps ticket to PR template Signed-off-by: Moritz Sanft <[email protected]> * make additional info not optional Signed-off-by: Moritz Sanft <[email protected]> --------- Signed-off-by: Moritz Sanft <[email protected]>
edgelesssys · Oct 4, 2023 · 0885646 · 0885646
1 parent b4fb843
commit 0885646
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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. -->