parent
eb520d0d13
commit
d70f0b2270
1 changed files with 4 additions and 4 deletions
|
@ -10,7 +10,7 @@ jobs:
|
||||||
REPO: '${{ github.repository }}'
|
REPO: '${{ github.repository }}'
|
||||||
TOKEN: '${{ secrets.GITHUB_TOKEN }}'
|
TOKEN: '${{ secrets.GITHUB_TOKEN }}'
|
||||||
GIT_SERVER: 'hannover.ccc.de/gitlab'
|
GIT_SERVER: 'hannover.ccc.de/gitlab'
|
||||||
- run: |
|
run: |
|
||||||
git clone --branch $GITHUB_HEAD_REF https://${TOKEN}@${GIT_SERVER}/${REPO}.git .
|
git clone --branch $GITHUB_HEAD_REF https://${TOKEN}@${GIT_SERVER}/${REPO}.git .
|
||||||
git fetch
|
git fetch
|
||||||
git checkout $GITHUB_HEAD_REF
|
git checkout $GITHUB_HEAD_REF
|
||||||
|
|
Loading…
Reference in a new issue