From: Jérémie Astor Date: Sun, 18 Oct 2020 15:34:32 +0000 (+0200) Subject: :wrench: Post owner change Fix X-Git-Tag: nightly~1232 X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=31fa272695d004dee43cc69b55e247f7ab7927e1;p=gwion.git :wrench: Post owner change Fix --- diff --git a/.github/CONTRIBUTING.md b/.github/CONTRIBUTING.md index a780d65c..826c9a7d 100644 --- 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 06e7d925..d31aa152 100644 --- 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 d8e75d89..bad284bf 100644 --- 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 c3ae5483..0df7cfcf 100644 --- 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 87494207..a84ad3dc 100644 --- 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 c62cd973..59e5b8b4 100644 --- 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 0df8e371..a94930e3 100644 --- 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 a2dd3114..854cdbb2 100644 --- 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 c7c8114e..98e1aeed 160000 --- a/ast +++ b/ast @@ -1 +1 @@ -Subproject commit c7c8114ec872a0dd0f6375a191ed59abc5b85cf0 +Subproject commit 98e1aeed3b7725a5293a399220a30a42d101f8c1