[PRQ#88686] Deletion Request for repman

[notify]

mipi [1] filed a deletion request for repman [2]:

The project codeberg.org/mipi/repman is archived. Please delete this
package. Thanks!

[1] https://aur.archlinux.org/account/mipi/
[2] https://aur.archlinux.org/pkgbase/repman/