pub:
	git push --mirror
	git push --mirror github