From 610cafddb6a0ce84b2f09bd74602010b37c258e8 Mon Sep 17 00:00:00 2001
From: Joakim Erdfelt <joakim.erdfelt@gmail.com>
Date: Thu, 11 Jan 2024 10:13:52 -0600
Subject: [PATCH] Update default_branch to 12.0.x on new jetty-examples

---
 otterdog/jetty.jsonnet | 1 +
 1 file changed, 1 insertion(+)

diff --git a/otterdog/jetty.jsonnet b/otterdog/jetty.jsonnet
index b25a6ac..df90d74 100644
--- a/otterdog/jetty.jsonnet
+++ b/otterdog/jetty.jsonnet
@@ -100,6 +100,7 @@ orgs.newOrg('jetty') {
     orgs.newRepo('jetty-examples') {
       allow_merge_commit: true,
       allow_update_branch: true,
+      default_branch: "12.0.x",
       delete_branch_on_merge: true,
       dependabot_security_updates_enabled: true,
       description: "Eclipse Jetty® - Examples",