push:
	git push prod
	git push origin