Hack GitHub as Maven repo for now.