Timeline for How do I delete a Git branch locally and remotely?
Current License: CC BY-SA 4.0
7 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 11 '20 at 11:09 | history | edited | Peter Mortensen | CC BY-SA 4.0 |
Active reading.
|
Dec 13 '18 at 4:44 | history | edited | Anant Kumar Singh | CC BY-SA 4.0 |
added 2 characters in body
|
Oct 8 '15 at 16:46 | comment | added | eMBee | git push --prune origin didn't do anything for me on gitlab: git clone git://repo.git; git branch -d -r origin/some-branches; git push --prune origin; yields: Everything up-to-date; git fetch; brings locally deleted branches back; git push --mirror; now they are really gone! | |
Jan 10 '15 at 1:11 | history | edited | Jonathon Reinhart | CC BY-SA 3.0 |
A little more obnoxious for the sake of safety.
|
Nov 29 '14 at 6:25 | history | edited | Peter Mortensen | CC BY-SA 3.0 |
Expansion.
|
Jun 5 '14 at 23:02 | history | edited | user456814 | CC BY-SA 3.0 |
Block code formatting is generally better than inline, it emphasizes the code more.
|
Nov 18 '12 at 6:11 | history | answered | imanuelcostigan | CC BY-SA 3.0 |