ci: automatic push to github

- issue existing remote github (don't know how it is persistent between 2 pipelines)

Refs #11
3 jobs for master in 3 minutes and 6 seconds (queued for 7 seconds)
Status Name Job ID Coverage
  Check
passed check #193138
docker

00:01:07

 
  Github
failed github #202025
docker

00:01:59

failed github #193139
docker

00:00:13

 
Name Stage Failure
failed
github Github
$ 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 --mirror github
Host key verification failed.
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.
Cleaning up file based variables
ERROR: Job failed: exit code 1