In git there is a command to store the address of the repository under some short name:
git remote add origin https://thisisanexample.git There is also a command to change the repository address:
git remote set-url origin https://thisistheexample.git But which command should be entered so that when you write the repository address to a name, the address by that name changes if it (the name) already exists and is created if it was not?
git remote add origin ...- faoxis