adjust URL to new username on GitHub