do not show deleted menuitems #63
2 changed files with 2 additions and 2 deletions
|
@ -9,7 +9,7 @@ jobs:
|
|||
env:
|
||||
REPO: '${{ github.repository }}'
|
||||
TOKEN: '${{ secrets.GITHUB_TOKEN }}'
|
||||
GIT_SERVER: 'hannover.ccc.de/gitlab'
|
||||
GIT_SERVER: 'git.hannover.ccc.de'
|
||||
run: |
|
||||
git clone --branch $GITHUB_HEAD_REF https://${TOKEN}@${GIT_SERVER}/${REPO}.git .
|
||||
git fetch
|
||||
|
|
|
@ -13,7 +13,7 @@ jobs:
|
|||
REPO: '${{ github.repository }}'
|
||||
TOKEN: '${{ secrets.GITHUB_TOKEN }}'
|
||||
BRANCH: '${{ env.GITHUB_REF_NAME }}'
|
||||
GIT_SERVER: 'hannover.ccc.de/gitlab'
|
||||
GIT_SERVER: 'git.hannover.ccc.de'
|
||||
run: |
|
||||
git clone --branch $GITHUB_REF_NAME https://${TOKEN}@${GIT_SERVER}/${REPO}.git .
|
||||
git fetch
|
||||
|
|
Loading…
Reference in a new issue