Merge branch 'feature/sync-to-github' into 'develop'

Feature/sync to github

See merge request !67
This commit is contained in:
Daniel Hürtgen 2017-04-11 16:41:18 +02:00
commit 516f6010ea

View file

@ -5,8 +5,24 @@ before_script:
- mkdir -p result
stages:
- sync
- test
sync:github:
stage: sync
before_script:
- apt-get -y update && apt-get -y upgrade
- apt-get -y install openssh-client git
# SSH deploy key
- eval $(ssh-agent -s)
- ssh-add <(echo "$SSH_PRIVATE_KEY")
- mkdir -p ~/.ssh
- '[[ -f /.dockerenv ]] && echo -e "Host *\n\tStrictHostKeyChecking no\n\n" > ~/.ssh/config'
script:
- git clone --mirror ${CI_REPOSITORY_URL} mirror
- cd mirror
- git push --mirror ${MIRROR_GIT_URL}
lint:coding-guideline:
image: php:7.0-alpine
stage: test