Quick answer:
git branch -d branch_name # delete local branch
git push origin --delete branch_name # delete remote branchA space for AI engineers to learn, share, and geek out — covering everything from LLMs and agents to the tools and tricks that make building with AI easier.
Showing posts with label Remote Branches. Show all posts
Showing posts with label Remote Branches. Show all posts
How to Delete a Git Branch Locally and Remotely (Step-by-Step)
Subscribe to:
Posts (Atom)