Why not just git dmb? https://manpages.debian.org/testing/git-delete-merged-branch...