diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..ab4a152 --- /dev/null +++ b/Makefile @@ -0,0 +1,18 @@ +# 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