push:
	git add --all
	git commit -a
	git push

pull:
	git pull