I don't think this needs to be deleted. Yes, you started to make many releases with is good, but I still think there is a place for this package as a convenience. 1.40 released this 7 days ago · 13 commits to master since this release local/tio-git 1.40.r13.g941e8d5-1 On Fri, 24 Jun 2022 at 01:39, <notify@aur.archlinux.org> wrote:

lundmar [1] filed a deletion request for tio-git [2]:

I don't think a git version is needed as tio is quite often updated with official releases.

[1] https://aur.archlinux.org/account/lundmar/ [2] https://aur.archlinux.org/pkgbase/tio-git/