Tags
Advertisement
Your Ad could be here. I want to connect my readers to relavant ads. If you have a product targeted at developers, let's talk. [email protected]
Trim branches no longer on origin
git remote prune origin --dry-run git remote prune origin
Find branches already merged
git checkout main # list remote branches that have already been merged into main git branch -r --merged # list local branches that have already been merged into main git branch --merged