summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGreg Brown <gmb60@cam.ac.uk>2021-01-21 17:47:24 +0000
committerGreg Brown <gmb60@cam.ac.uk>2021-01-21 17:47:24 +0000
commit226ed0698bd0abd99c4063d44aeb19b59049863b (patch)
tree223c3975485ade2d590cf26169a2f3dc0aa20e01
parent1a93b1f82bc8c21d24e67031c5eca96830e928c7 (diff)
Fix GitHub action for real this time.
-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 4ebd741..67ac34f 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_TOKEN@github.com/$GITHUB_REPOSITORY.git"
git push --mirror github
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}