Small change of repository URL due to Github username change