More updates to point to the new repository