ci: automatic push to github

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

Refs #11