CI: fix github URL
This commit is contained in:
parent
07b8d192e6
commit
1989ebf1b8
@ -176,7 +176,7 @@ publish:github:
|
|||||||
export GIT_AUTHOR_EMAIL="contact@tezos.com" ;
|
export GIT_AUTHOR_EMAIL="contact@tezos.com" ;
|
||||||
fi'
|
fi'
|
||||||
HEAD
|
HEAD
|
||||||
- git push git@github.com:OCamlPro/tezos.git -f HEAD:master
|
- git push git@github.com:tezos/tezos.git -f HEAD:master
|
||||||
|
|
||||||
cleanup:
|
cleanup:
|
||||||
stage: cleanup
|
stage: cleanup
|
||||||
|
Loading…
Reference in New Issue
Block a user