Rename sirius-components into sirius-web

Signed-off-by: Pierre-Charles David <[email protected]>
eclipse-sirius · Aug 16, 2023 · 80c8ff0 · 80c8ff0
1 parent dac2b28
commit 80c8ff0
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/otterdog/eclipse-sirius.jsonnet b/otterdog/eclipse-sirius.jsonnet
@@ -28,7 +28,8 @@ orgs.newOrg('eclipse-sirius') {
     },
   ],
   _repositories+:: [
-    orgs.newRepo('sirius-components') {
+    orgs.newRepo('sirius-web') {
+      aliases: ['sirius-components'],
       allow_merge_commit: false,
       allow_squash_merge: false,
       allow_update_branch: false,