Différences

Ci-dessous, les différences entre deux révisions de la page.

--- informatique:git [27/11/2024 12:38] – cyrille
+++ informatique:git [14/08/2025 07:19] (Version actuelle) – [Delete a Branch] git remote prune origin cyrille
@@ Ligne 20: / Ligne 20: @@
 Git commands tips:
-  * https://dev.to/jagroop2001/20-git-command-line-tricks-every-developer-should-know-1i21?bb=184181
+  * https://dev.to/jagroop2001/20-git-command-line-tricks-every-developer-should-know-1i21
 ===== Credentials =====
@@ Ligne 237: / Ligne 237: @@
   git push origin --delete <branchName>
+Des branches supprimées (local & remote) apparaissent toujours:
+<code>
+$ git branch -a
+* main
+  remotes/origin/23_local_notification
+  remotes/origin/25_adaptative_ux
+  remotes/origin/2_homewidget
+  remotes/origin/45_funny_ui
+  remotes/origin/dusks-favorite-4
+  remotes/origin/main
+$ git remote prune origin --dry-run
+Élimination de origin
+URL : git@framagit.org:Cyrille37/wp-did-you-know-flutter.git
+ * [élaguerait] origin/23_local_notification
+ * [élaguerait] origin/25_adaptative_ux
+ * [élaguerait] origin/2_homewidget
+ * [élaguerait] origin/dusks-favorite-4
+$ git remote prune origin
+Élimination de origin
+URL : git@framagit.org:Cyrille37/wp-did-you-know-flutter.git
+ * [élagué] origin/23_local_notification
+ * [élagué] origin/25_adaptative_ux
+ * [élagué] origin/2_homewidget
+ * [élagué] origin/dusks-favorite-4
+$ git branch -a
+* main
+  remotes/origin/45_funny_ui
+  remotes/origin/main
+</code>
 === Log & graph ===