build and push a docker image on git push