1. da5bb7e Prune stale branches from mergers by James E. Blair ยท 7 years ago