ci: automatic push to github

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

Refs #11
2 jobs for master in 1 minute and 24 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Check
passed check #193136
docker

00:01:10

 
  Github
failed github #193137
docker

00:00:14

 
Name Stage Failure
failed
github Github
$ chmod 700 ~/.ssh
$ git config --global user.email "gitlab@inrae.fr"
$ git config --global user.name "Gitlab CI"
$ git remote add github https://github.com/inrae/hubeau.git || FAILED=true
fatal: remote github already exists.
$ git push --mirror github
fatal: could not read Username for 'https://github.com': No such device or address
Cleaning up file based variables
ERROR: Job failed: exit code 1