[PRQ#38894] Deletion Request for git-credential-manager-bin

dasbaumwolltier [1] filed a deletion request for git-credential- manager-bin [2]: As the git-credential-manager-core project has now been renamed to git-credential-manager, I would like to also rename my git-credential- manager-core-bin package, but I am unable, as the git-credential- manager-bin package already exists. [1] https://aur.archlinux.org/account/dasbaumwolltier/ [2] https://aur.archlinux.org/pkgbase/git-credential-manager-bin/