Sorry for the basic question, but how do I update git with the new URL for the LaTeX manual? I read that I have to do the following:

git remote set-url origin https:/git.cinelerra-gg.org/goodguy/cin-manual-latex.git

I'm afraid of messing things up before I even try. Can you confirm this for me?

Do I also have to do “git push -u origin master” since I don't use git push?