One Quickie

---

Pruning branches (git->Hacks)

After a while, stale branches can pile up, especially if you're pulling and pushing to a busy repo. Get rid of them locally with:

% git remote prune --dry-run origin

To see what'll get removed, and then

% git remote prune origin

To clean things out.