git-delete-merged-branches Debian release 7.5.1-1