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, <[email protected]> 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/
