* Add git fetch to (try to) fix github push from gitlab