curben
/
urlhaus-filter
mirror of https://gitlab.com/malware-filter/urlhaus-filter
1
0
Fork 0
Code Issues Releases Wiki Activity

chore: specify branch

This commit is contained in:
curben 2019-10-01 13:08:37 +01:00
parent c2f83c6677
commit 6f2888609c
No known key found for this signature in database
GPG Key ID: 5D9DB57A25D34EE3
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.gitlab-ci.yml
View File

@ -67,13 +67,13 @@ deploy_job:
- git diff-index --quiet HEAD || git commit -m "Success pipeline"
- ssh git@gitlab.com
- git push
- git push origin master
# Push to mirror
# Force exit code 0
- ssh -T git@github.com || echo
- git remote add mirror git@github.com:curbengh/urlhaus-filter.git
- git push mirror
- git push mirror master
only:
# Allow CI to be triggered by schedule
@ -101,10 +101,10 @@ failed_job:
- git add .gitlab/status.svg
- git diff-index --quiet HEAD || git commit -m "Failed pipeline"
- ssh git@gitlab.com
- git push
- git push origin master
- ssh -T git@github.com || echo
- git remote add mirror git@github.com:curbengh/urlhaus-filter.git
- git push mirror
- git push mirror master
# Run this job only when deploy_job failed
when: on_failure