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
  • thumbnail
    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 - archive.org - 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
Shaarli - The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community - Help/documentation