[aur-requests] [PRQ#23228] Deletion Request for michel-git Accepted