No matches were found for subject:"man page for \"git remote set\-url\" seems confusing\/contradictory"