G github.com Git: Deletion of merged branches taken beyond shell hacks 81 points spyc 6 years ago 36 comments