Rename sirius components repo

[pcdavid]

This is the follow-up for #3

[github-actions]

Diff for 80c8ff0:

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 eclipse-sirius[id=eclipse-sirius]
  there have been 2 validation infos, enable verbose output with '-v' to to display them.

  
!   repository[name="sirius-components"] {
!     name                                                     = "sirius-components" -> "sirius-web"
!   }
  
  Plan: 0 to add, 1 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 eclipse-sirius[id=eclipse-sirius]
--- original
+++ canonical
@@ -40,12 +40,14 @@
       web_commit_signoff_required: false
     }
     orgs.newRepo('sirius-web') {
+      aliases: ['sirius-components']
       allow_merge_commit: false
       allow_squash_merge: false
       allow_update_branch: false
       branch_protection_rules: [
         orgs.newBranchProtectionRule('master') {
           required_approving_review_count: 1
+          required_status_checks: []
           requires_linear_history: true
           requires_strict_status_checks: true
         }

[netomi]

repo has been renamed.

[pcdavid]

Thanks!

[netomi]

np, I try to avoid deleting repos, but in this case I guess it was acceptable.

[netomi]

On a second thought, the calculated statistics visible on https://projects.eclipse.org/projects/modeling.sirius/who will be off since the repo has been deleted. They are re-calculated every day from scratch.