TASK: Add sync to github via pipelines

* To make github an auto mirror
This commit is contained in:
Daniel Siepmann 2017-04-11 15:49:01 +02:00
parent 3a37662001
commit abdc7f0f72
Signed by: Daniel Siepmann
GPG key ID: 33D6629915560EF4

View file

@ -5,8 +5,23 @@ 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 rsync
# 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 push github
lint:coding-guideline:
image: php:7.0-alpine
stage: test