Fix a link in the version control documentation