[aur-requests] [PRQ#13359] Deletion Request for dive-git

wagoodman [1] filed a deletion request for dive-git [2]: this is a duplicate of https://aur.archlinux.org/packages/dive/ and has the correct name (instead of -git) [1] https://aur.archlinux.org/account/wagoodman/ [2] https://aur.archlinux.org/pkgbase/dive-git/