Day: May 11, 2023

Clean up local Git branches – delete merged branches, prune remotes, remove branches whose remote is gone, and set an alias to do it in one command.