all:

# simple sortcut to push all git changes
push:
	git pull
	git add --all
	-git commit -a -s
	git push