Hi, I have lots of git/git branches and once in a while some patches make it into git/git master. If this happens I would like to delete my branch with the patch automatically. That's not easily possible as the hashes on my branches are, of course, not the same as the hashes on git/git. How do you deal with this situation? Do you manually delete your branches or do you have some clever script to share? Thanks, Lars