[aur-requests] [PRQ#3880] Deletion Request for bomi-git