Fix github push