ci: debug github push

- only push master branch Refs #11

ci: debug github push
- only push master branch Refs #11
f88357ed · Dorchies David · d634f2d4 · f88357ed
Commit f88357ed authored 3 years ago by Dorchies David
Hide whitespace changes
Inline Side-by-side

Showing

with 3 additions and 1 deletion
+3 -1
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -71,4 +71,6 @@ github:
  script:
    - git remote add github git@github.com:inrae/hubeau.git || FAILED=true
    - git remote set-url github git@github.com:inrae/hubeau.git
-    - git push github master
+    - git fetch
+    - git push github HEAD:master
+    - git push --tags github