I'm relatively new to Git, and want to get advice on best practices for deleting branches.
After I've created and merged a branch back into master, should I leave it hanging around for historical purposes, or should I delete it as soon as it's no longer needed for housekeeping purposes?