Improved github as mirror.
This commit is contained in:
parent
61b7451d1d
commit
9cbd5de78c
1 changed files with 1 additions and 1 deletions
|
@ -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 --prune-empty --tag-name-filter cat -- $CI_BUILD_REF_NAME
|
- git filter-branch --force --index-filter --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
|
||||||
|
|
Loading…
Reference in a new issue