Update git repo URL

The old git repo URL is listed in a few places. We should update that with the new URL.