Okay, we can now safely use GitHub as a maven repo