TASK: Push to github project

* Mirror current repository state
This commit is contained in:
Daniel Siepmann 2017-04-11 15:54:18 +02:00
parent bef8c1a913
commit 813aa48010
Signed by: Daniel Siepmann
GPG key ID: 33D6629915560EF4

View file

@ -19,8 +19,9 @@ sync:github:
- mkdir -p ~/.ssh
- '[[ -f /.dockerenv ]] && echo -e "Host *\n\tStrictHostKeyChecking no\n\n" > ~/.ssh/config'
script:
- git push github
- git clone --mirror ${CI_REPOSITORY_URL} mirror
- cd mirror
- git push --mirror ${MIRROR_GIT_URL}
lint:coding-guideline:
image: php:7.0-alpine