summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGreg Brown <gmb60@cam.ac.uk>2021-01-18 17:05:43 +0000
committerGreg Brown <gmb60@cam.ac.uk>2021-01-18 17:05:43 +0000
commit5b5fc35b0ded2b1e01ba1878b722585cc40a93e6 (patch)
treecc1e1805d7cc996f623a337867aa8f162e66f62b
parenta3ab765efe831505179a5966b5546509cb862717 (diff)
(Attempt to) fix bug in mirror action.
-rw-r--r--.github/workflows/mirror.yml2
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 }}