From 171b87478568785432d19714d4a50ff244ce1ee5 Mon Sep 17 00:00:00 2001 From: "Philip WINDECKER (AVENYR GmbH)" Date: Tue, 22 Oct 2024 14:55:06 +0200 Subject: [PATCH] Issue #80: Improved checklist for pull requests Signed-off-by: Philip WINDECKER (AVENYR GmbH) --- .github/pull_request_template.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index 5ac18991..25cf88c3 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -18,4 +18,4 @@ Add @mentions of the person or team responsible for reviewing proposed changes. - [ ] I have performed a self-review of my own code/documentation. - [ ] My documentation changes are related to another repository in the organization. Here is the link to the issue/repo. - [ ] My changes generate no new warnings during the documentation generation. -- [ ] The existing travis ci which pushes the documentation to gh-pages passes with my changes. \ No newline at end of file +- [ ] The Antora pipeline which pushes the documentation to gh-pages on the downstream repository passes with my changes. \ No newline at end of file