Update .github/pull_request_template.md

Co-authored-by: Jérémy Benoist <[email protected]>
smalot · Aug 21, 2023 · b137c0d · b137c0d
1 parent 21bb7a8
commit b137c0d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
@@ -26,5 +26,7 @@
       (see [here](https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/about-pull-requests#draft-pull-requests) for more information).
       This will tell us, that it is not ready for merge, but you want to discuss certain issues.
 
+<!--
 Pull requests will be declined/rejected if one part of the continous integration pipeline fails. 
 We use the pipeline to make sure no regressions are introduced and existing code still runs as expected.
+-->