In this particular case, I don't think there's any meaningful difference between a deletion and a merge. The pkgbase 'python-restructuredtext-lint' has 0 votes, and only 1 comment, from me. (And its also OOD-flagged by me.) I wanted my comment be gone and not kept forever, as that is only relevant to the packaging issue in 'python-restructuredtext-lint' but not to the proper, working 'python-restructuredtext_lint' pkg. On 4 November 2023 00:04:34 GMT+01:00, notify@aur.archlinux.org wrote:
yochananmarqos [1] filed a request to merge python-restructuredtext- lint [2] into python-restructuredtext_lint [3]:
PRQ#46263 should have been a merge request, not a deletion request-- that is, if we're going to keep python-restructuredtext_lint instead.
[1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/python-restructuredtext-lint/ [3] https://aur.archlinux.org/pkgbase/python-restructuredtext_lint/