Fix: git repo url in documentation.