diff options
author | Greg Brown <gmb60@cam.ac.uk> | 2021-01-18 17:05:43 +0000 |
---|---|---|
committer | Greg Brown <gmb60@cam.ac.uk> | 2021-01-18 17:05:43 +0000 |
commit | 5b5fc35b0ded2b1e01ba1878b722585cc40a93e6 (patch) | |
tree | cc1e1805d7cc996f623a337867aa8f162e66f62b | |
parent | a3ab765efe831505179a5966b5546509cb862717 (diff) |
(Attempt to) fix bug in mirror action.
-rw-r--r-- | .github/workflows/mirror.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml index e4ba71b..4ebd741 100644 --- a/.github/workflows/mirror.yml +++ b/.github/workflows/mirror.yml @@ -12,7 +12,7 @@ jobs: run: | git clone --mirror 'https://git.yellowsquid.uk/yellowsquid/chomp.git' cd chomp.git/ - git remote add github "https://$GITHUB_ACTOR:@github.com/$GITHUB_REPOSITORY.git" + git remote add github "https://$GITHUB_ACTOR@github.com/$GITHUB_REPOSITORY.git" git push --mirror github env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |