# git remote add gitwit git@git.wit.org:wit/arg.git

github:
	git push gitwit register
	git push gitwit devel
	git push gitwit jcarr
	git push gitwit --tags
	git push github register
	git push github devel
	git push github --tags
	@echo
	@echo check https://git.wit.org/wit/arg
	@echo

init-github:
	git push -u github master
	git push -u github devel
	git push github --tags