* HACKING: fix git repository URL