all:
	echo Nothing to do...

push:
	git push home master
	git push origin master