Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Archive jetty.parent #13

Merged
merged 1 commit into from
Oct 24, 2023
Merged

Archive jetty.parent #13

merged 1 commit into from
Oct 24, 2023

Conversation

jmcc0nn3ll
Copy link
Contributor

No description provided.

Signed-off-by: Jesse McConnell <[email protected]>
@jmcc0nn3ll jmcc0nn3ll requested review from a team as code owners October 24, 2023 16:42
@github-actions
Copy link

Diff for c027395:
Printing local diff for configuration at '/home/runner/work/.eclipsefdn/.eclipsefdn/otterdog-configs/otterdog.json'

Actions are indicated with the following symbols:
+   create
!   modify
!   forced update
-   delete

Organization jetty[id=jetty]

  
!   repository[name="jetty.parent"] {
!     archived                                                 = false -> true
!     default_branch                                           = "master" -> "main"
!     web_commit_signoff_required                              = false -> true
!   }
  
  Plan: 0 to add, 3 to change, 0 to delete.
Showing diff to a canonical version of the configuration at '/home/runner/work/.eclipsefdn/.eclipsefdn/otterdog-configs/otterdog.json'

Organization jetty[id=jetty]
--- original
+++ canonical
@@ -68,6 +68,8 @@
     }
     orgs.newRepo('jetty.parent') {
       archived: true
+      description: "Eclipse Jetty® - Archived Repository"
+      has_issues: false
     }
     orgs.newRepo('jetty.project') {
       allow_merge_commit: true
@@ -110,16 +112,6 @@
         }
       ]
     }
-    orgs.newRepo('jetty.setuid') {
-      allow_merge_commit: true
-      allow_update_branch: false
-      default_branch: "master"
-      delete_branch_on_merge: false
-      dependabot_security_updates_enabled: true
-      description: "Eclipse Jetty® - SetUID Module"
-      homepage: "http://eclipse.org/jetty"
-      web_commit_signoff_required: false
-    }
     orgs.newRepo('jetty.toolchain') {
       allow_merge_commit: true
       allow_update_branch: false
@@ -139,6 +131,16 @@
         }
       ]
     }
+   orgs.newRepo('jetty.setuid') {
+      allow_merge_commit: true
+      allow_update_branch: false
+      default_branch: "master"
+      delete_branch_on_merge: false
+      dependabot_security_updates_enabled: true
+      description: "Eclipse Jetty® - SetUID Module"
+      homepage: "http://eclipse.org/jetty"
+      web_commit_signoff_required: false
+    }
     orgs.newRepo('jetty.website') {
       allow_merge_commit: true
       allow_update_branch: false

@netomi netomi merged commit 8b514ad into jetty:main Oct 24, 2023
1 check passed
@netomi
Copy link
Contributor

netomi commented Oct 24, 2023

change has been applied.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants