.PHONY: push

push:
	git push origin HEAD
	git push develop HEAD