:wrench: Post owner change Fix

diff --git a/.github/CONTRIBUTING.md b/.github/CONTRIBUTING.md
index a780d65c2f6262e1ca5d4080c84e65cb5432b595..826c9a7dddf9ae38af371c43368410eb6d7bf77d 100644 (file)
--- a/.github/CONTRIBUTING.md
+++ b/.github/CONTRIBUTING.md
@@ -85,4 +85,4 @@ include a [reference](https://help.github.com/articles/autolinked-references-and
 
 ### Issue and Pull Request labels
 Names should be self explanatory
-look [here](https://github.com/fennecdjay/Gwion/labels) for an up to date list.
+look [here](https://github.com/Gwion/Gwion/labels) for an up to date list.

diff --git a/.github/workflows/benchmarks.yml b/.github/workflows/benchmarks.yml
index 06e7d9256a911b491e8736f88eeea8730c30f2e2..d31aa152373b6f402234fb8692f0fd19e0b6224f 100644 (file)
--- a/.github/workflows/benchmarks.yml
+++ b/.github/workflows/benchmarks.yml
@@ -17,7 +17,7 @@ jobs:
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         EVENT: benchmark-event
-        ORG: fennecdjay
+        ORG: Gwion
         REPO: gwion-benchmark
       run: |
         [ ! -z "$(git log -n1 --oneline --grep='skip ci')" ] && exit 0

diff --git a/.github/workflows/bot.yml b/.github/workflows/bot.yml
index d8e75d89c8a003797724bbe77053316f090aaa90..bad284bfa5c764bde4c54a8cfd77901a73964e7b 100644 (file)
--- a/.github/workflows/bot.yml
+++ b/.github/workflows/bot.yml
@@ -15,10 +15,10 @@ jobs:
     steps:
     - name: Clone and push
       run: |
-        git clone https://github.com/fennecdjay/gwion-cinch-bot
+        git clone https://github.com/Gwion/gwion-cinch-bot
         cd gwion-cinch-bot
         git config --local user.email "action@github.com"
         git config --local user.name "GitHub Action"
         git commit --allow-empty -m "update gwion"
-        git remote set-url origin https://${{ secrets.GWION_BOT }}@github.com/fennecdjay/gwion-cinch-bot.git
+        git remote set-url origin https://${{ secrets.GWION_BOT }}@github.com/Gwion/gwion-cinch-bot.git
         git push

diff --git a/.github/workflows/cancel.yml b/.github/workflows/cancel.yml
index c3ae5483624ec3fe575d79409a7f0f9dcff7f169..0df7cfcfdefc20cf2a3c0ea88233a443afa3d1f8 100644 (file)
--- a/.github/workflows/cancel.yml
+++ b/.github/workflows/cancel.yml
@@ -9,6 +9,6 @@ jobs:
       - uses: styfle/cancel-workflow-action@0.5.0
         with:
           # Ids of other workflows that ought to be canceled
-          # Ids can be found here: https://api.github.com/repos/fennecdjay/Gwion/actions/workflows
+          # Ids can be found here: https://api.github.com/repos/Gwion/Gwion/actions/workflows
           workflow_id: 55357,55358,55359,356501,359430,575240,575243,575600,604136,612771,619820,1306635,2138185,2665681,2809967
-          access_token: ${{ secrets.GITHUB_TOKEN }}
\ No newline at end of file
+          access_token: ${{ secrets.GITHUB_TOKEN }}

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 874942078fc7c528f273c9c77933d154563e6848..a84ad3dc8f4126b5a6282a12bf4765e2408f2e54 100644 (file)
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -43,7 +43,7 @@ jobs:
 
     - name: Clone report repo
       run: | 
-        git clone https://github.com/fennecdjay/gwion-coverage-report
+        git clone https://github.com/Gwion/gwion-coverage-report
         cd gwion-coverage-report
         git worktree add html origin/gh-pages
 
@@ -93,7 +93,7 @@ jobs:
         cd gwion-coverage-report
         git config --local user.email "action@github.com"
         git config --local user.name "GitHub Action"
-        git remote set-url origin https://${{ secrets.COVERAGE_TOKEN }}@github.com/fennecdjay/gwion-coverage-report.git
+        git remote set-url origin https://${{ secrets.COVERAGE_TOKEN }}@github.com/Gwion/gwion-coverage-report.git
         git add README.md coverage_num.txt badge.svg
         git commit -m "Update coverage" || true
         git push || true

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index c62cd9733f1e1dfe1b023354fcc1ecd9b746ff15..59e5b8b4c7042c01195dc66f90e885a961911721 100644 (file)
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -21,7 +21,7 @@ jobs:
 
     - name: Download tool
       run: |
-        wget -q https://scan.coverity.com/download/cxx/linux64 --post-data "token=${{ secrets.COVERITY_TOKEN }}&project=fennecdjay/Gwion" -O cov-analysis-linux64.tar.gz
+        wget -q https://scan.coverity.com/download/cxx/linux64 --post-data "token=${{ secrets.COVERITY_TOKEN }}&project=Gwion/Gwion" -O cov-analysis-linux64.tar.gz
         mkdir cov-analysis-linux64
         tar xzf cov-analysis-linux64.tar.gz --strip 1 -C cov-analysis-linux64
 
@@ -40,4 +40,4 @@ jobs:
           --form file=@gwion.tgz \
           --form version=trunk \
           --form description="strongly timed programming language" \
-          https://scan.coverity.com/builds?project=fennecdjay/Gwion
+          https://scan.coverity.com/builds?project=Gwion/Gwion

diff --git a/.github/workflows/delete.yml b/.github/workflows/delete.yml
index 0df8e371ef64e0cd5fa7b0a6893ba9611ee60828..a94930e37ceedc515237194485b4b9ceb1530ec9 100644 (file)
--- a/.github/workflows/delete.yml
+++ b/.github/workflows/delete.yml
@@ -14,7 +14,7 @@ jobs:
     steps:
     - name: Clone report repo
       run: |
-        git clone https://github.com/fennecdjay/gwion-coverage-report
+        git clone https://github.com/Gwion/gwion-coverage-report
         cd gwion-coverage-report
         branch=${{ github.event.ref }}
         if [ -d html/$branch ]
@@ -22,7 +22,7 @@ jobs:
           rm -r html/$branch
           git config --local user.email "action@github.com"
           git config --local user.name "GitHub Action"
-          git remote set-url origin https://${{ secrets.COVERAGE_TOKEN }}@github.com/fennecdjay/gwion-coverage-report.git
+          git remote set-url origin https://${{ secrets.COVERAGE_TOKEN }}@github.com/Gwion/gwion-coverage-report.git
           git add html
           git commit -m "Delete obsolete branch"
           git subtree push --prefix html origin gh-pages

diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index a2dd3114b25742801c14be20aece577762544ebc..854cdbb2a6417169f75e777ee25c538df5f3642f 100644 (file)
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -14,7 +14,7 @@ jobs:
     steps:
     - name: Trigger docs build
       env:
-        ORG: fennecdjay
+        ORG: Gwion
         REPO: gwion-docs
       run: |
         curl -d"{\"event_type\": \"event\"}" -H "Content-Type: application/json" -H "Authorization: token ${{ secrets.GWION_DOC }}" -H "Accept: application/vnd.github.everest-preview+json" "https://api.github.com/repos/${ORG}/${REPO}/dispatches"

diff --git a/ast b/ast
index c7c8114ec872a0dd0f6375a191ed59abc5b85cf0..98e1aeed3b7725a5293a399220a30a42d101f8c1 160000 (submodule)
--- a/ast
+++ b/ast
@@ -1 +1 @@
-Subproject commit c7c8114ec872a0dd0f6375a191ed59abc5b85cf0
+Subproject commit 98e1aeed3b7725a5293a399220a30a42d101f8c1