Add Jenkins webhook for jetty.website (#47)

Signed-off-by: Olivier Lamy <[email protected]>
jetty · Jun 17, 2024 · 9375528 · 9375528
1 parent fc23a75
commit 9375528
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/otterdog/jetty.jsonnet b/otterdog/jetty.jsonnet
@@ -339,6 +339,15 @@ orgs.newOrg('jetty') {
           deployment_branch_policy: "selected",
         },
       ],
+      webhooks: [
+        orgs.newRepoWebhook('https://jenkins.webtide.net/github-webhook/') {
+          content_type: "json",
+          events+: [
+            "pull_request",
+            "push"
+          ],
+        },
+      ],
     },
   ],
 }