Fix the old repo url in the docs