Use the correct maintained repository (on GitHub)