Update repo names

The PR fixes a few references to the github repos.