From fae2e019aea9f5e7805352a420a0bc0e1b924d96 Mon Sep 17 00:00:00 2001
From: Marcello Lamonaca <marcello@lamonaca.eu>
Date: Sat, 21 Sep 2024 17:33:32 +0200
Subject: [PATCH] git: add `remote set-url` notes

---
 docs/misc/git.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/misc/git.md b/docs/misc/git.md
index b4184c5..4e1e319 100644
--- a/docs/misc/git.md
+++ b/docs/misc/git.md
@@ -71,6 +71,10 @@ The applied config in each repository is the combination of all three scopes in
 `git remote add <remote> <url | path>`: add a remote  
 `git remote remove <remote>`: remove the specified remote  
 `git remote rename <old_name> <new_name>`: rename a remote  
+`git remote set-url <name> <url>`: change the URL for the remote  
+`git remote set-url --add <name> <url>`: add another URL for the remote  
+`git remote set-url --add --push <name> <url>`: add another push URL for the remote  
+`git remote set-url <name> <url>`: change the URL for rhe remote  
 `git branch -u|--set-upstream-to=<remote>/<remote branch>`: set up correspondence between local and remote branch  
 
 `git push`: send objects to default remote on current branch