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

Reply via email to