Improved github as mirror.

This commit is contained in:
Martin Edenhofer 2016-08-21 17:14:33 +02:00
parent 4c041f5251
commit 61b7451d1d

View file

@ -40,7 +40,7 @@ pre:github:
script: script:
- git checkout $CI_BUILD_REF_NAME - git checkout $CI_BUILD_REF_NAME
- git pull --rebase origin $CI_BUILD_REF_NAME - git pull --rebase origin $CI_BUILD_REF_NAME
- git filter-branch --force --index-filter "git rm --cached --ignore-unmatch './Gemfile.lock'" --prune-empty --tag-name-filter cat -- $CI_BUILD_REF_NAME - git filter-branch --force --index-filter "git rm --cached --prune-empty --tag-name-filter cat -- $CI_BUILD_REF_NAME
- if git remote | grep github > /dev/null; then git remote rm github; fi - if git remote | grep github > /dev/null; then git remote rm github; fi
- git remote add github git@github.com:martini/zammad-test.git - git remote add github git@github.com:martini/zammad-test.git
- git push github $CI_BUILD_REF_NAME - git push github $CI_BUILD_REF_NAME