Update jetty.jsonnet (#43)

* Update jetty.jsonnet move the jetty.website repo so we can move the new one in Signed-off-by: Jesse McConnell <[email protected]> * Update jetty.jsonnet Signed-off-by: Thomas Neidhart <[email protected]> --------- Signed-off-by: Jesse McConnell <[email protected]> Signed-off-by: Thomas Neidhart <[email protected]> Co-authored-by: Thomas Neidhart <[email protected]>
jetty · May 7, 2024 · 4de3265 · 4de3265
1 parent eb55845
commit 4de3265
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/otterdog/jetty.jsonnet b/otterdog/jetty.jsonnet
@@ -331,16 +331,5 @@ orgs.newOrg('jetty') {
         },
       ],
     },
-    orgs.newRepo('jetty.website') {
-      allow_merge_commit: true,
-      allow_update_branch: false,
-      default_branch: "master",
-      delete_branch_on_merge: false,
-      dependabot_security_updates_enabled: true,
-      description: "Eclipse Jetty® - Under Construction",
-      has_wiki: false,
-      homepage: "http://jetty.org",
-      web_commit_signoff_required: false,
-    },
   ],
 }