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>

    November 24, 2016 at 9:12:16 AM GMT+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