Misc: host a maven-repo on github