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 43 seconds (queued for 8 seconds)
Status Name Job ID Coverage
  Check
passed check #193055
docker

00:01:23

 
  Github
passed github #193056
docker

00:00:20