4337 links
Arnaud's links
Home
Login
RSS Feed
ATOM Feed
Tag cloud
Picture wall
Daily
Links per page:
20
50
100
page 1 / 1
How to delete a Git branch both locally and remotely? - Stack Overflow
git push origin --delete <branch_name>
24 novembre 2016 à 09:12:16 UTC+1
- permalink
-
-
http://stackoverflow.com/questions/2003505/how-to-delete-a-git-branch-both-locally-and-remotely
branch
delete
git
remote
Links per page:
20
50
100
page 1 / 1