Add a new repo for the Jekyll sources of the website

[pcdavid]

Also do some cleanup.

[github-actions]

Diff for 683ed6b:

Printing local diff:

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

Organization modeling.sirius[id=eclipse-sirius]
  there have been 4 validation infos, enable verbose output with '-v' to to display them.

-   remove repo_webhook[url="https://notify.travis-ci.org", repository="sirius-web"] {
-     active                            = true
-     content_type                      = "form"
-     events                            = [
-       "create"
-       "delete"
-       "issue_comment"
-       "member"
-       "public"
-       "pull_request"
-       "push"
-       "repository"
-     ],
-     insecure_ssl                      = "0"
-     secret                            = null
-     url                               = "https://notify.travis-ci.org"
-   }

  
!   repository[name="sirius-website"] {
!     description                       = "Sources of the Eclipse Sirius website" -> "Eclipse Sirius website"
!   }

+   add repository[name="sirius-website-sources"] {
+     allow_auto_merge                  = false
+     allow_forking                     = true
+     allow_merge_commit                = false
+     allow_rebase_merge                = true
+     allow_squash_merge                = false
+     allow_update_branch               = false
+     archived                          = false
+     default_branch                    = "main"
+     delete_branch_on_merge            = false
+     dependabot_alerts_enabled         = true
+     dependabot_security_updates_enabled = false
+     description                       = "Sources of the Eclipse Sirius website"
+     gh_pages_build_type               = "disabled"
+     has_discussions                   = false
+     has_issues                        = true
+     has_projects                      = false
+     has_wiki                          = false
+     homepage                          = "https://eclipse.dev/sirius"
+     is_template                       = false
+     merge_commit_message              = "PR_TITLE"
+     merge_commit_title                = "MERGE_MESSAGE"
+     name                              = "sirius-website-sources"
+     private                           = false
+     secret_scanning                   = "enabled"
+     secret_scanning_push_protection   = "enabled"
+     squash_merge_commit_message       = "COMMIT_MESSAGES"
+     squash_merge_commit_title         = "COMMIT_OR_PR_TITLE"
+     template_repository               = null
+     topics                            = []
+     web_commit_signoff_required       = false
+   }

+   add repo_workflow_settings[repository="sirius-website-sources"] {
+     actions_can_approve_pull_request_reviews = true
+     default_workflow_permissions      = "write"
+     enabled                           = true
+   }
  
  Plan: 2 to add, 1 to change, 1 to delete.

Canonical Diff for 683ed6b:

Showing canonical diff:

Organization modeling.sirius[id=eclipse-sirius]

--- canonical
+++ original
@@ -63,7 +63,6 @@
       default_branch: "master"
       delete_branch_on_merge: false
       description: "Sirius Legacy: legacy (unmaintained) components from Sirius Desktop"
-      has_discussions: false
       has_issues: false
       has_projects: false
       has_wiki: false
@@ -130,7 +129,6 @@
     orgs.newRepo('sirius-website-sources') {
       allow_squash_merge: false
       allow_update_branch: false
-      default_branch: "main"
       delete_branch_on_merge: false
       description: "Sources of the Eclipse Sirius website"
       has_projects: false

[netomi]

shall we go ahead with this new repo or do you try to do it in the same repo with different branches?

[pcdavid]

New repo please.

[netomi]

changes are live.

[pcdavid]

It looks like I can't push, or even create PRs on the new repo.
Did I miss something?
I use the same clone URL format (url = [email protected]:eclipse-sirius/sirius-website-sources.git) and the same identify (user.name and user.email) as for e.g. [email protected]:eclipse-sirius/sirius-website.git.

[pcdavid]

Trying the edit the README directly from the GitHub website gives me:

Sorry, you’re not able to edit this repository directly—you need to fork it and propose your changes from there instead.

Which is not the case for other repos in the org.

[netomi]

the permissions are not yet setup. The script runs approx. every 2h. But you can fork the repo already an open a PR.

[pcdavid]

OK, I see. I can wait. Thanks for the response.