Fixe github url, again.