Trim unused git branches
━━━━━━━━━━━━━━━━━━━━━━━━

Date: May 7, 2021

Trim branches no longer on origin
─────────────────────────────────

[code]
  git remote prune origin --dry-run
  git remote prune origin

Find branches already merged
────────────────────────────

[code]
  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