Mirrors/VILLASnode
1
0
Fork 0
mirror of https://git.rwth-aachen.de/acs/public/villas/node/ synced 2025-03-16 00:00:02 +01:00
Code Issues Releases Wiki Activity

ci: fix Github mirroring

Browse source
This commit is contained in:
Steffen Vogel 2018-03-28 15:29:57 +02:00
parent 5a1127f873
commit 26a79e26cb
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.gitlab-ci.yml
View file

@ -172,10 +172,10 @@ deploy:packages:
only:
- tags
deploy:git-mirror:
.deploy:git-mirror:
stage: deploy
script:
- git push --force --mirror --prune https://${GITHUB_USER}:${GITHUB_TOKEN}@github.com:VILLASframework/VILLASnode.git
- git push --force --mirror https://${GITHUB_USER}:${GITHUB_TOKEN}@github.com/VILLASframework/VILLASnode.git
# Stage: docker
##############################################################################