You can just push a new/correct version of the PKGBUILD. Having the bad one in git history won't affect anything. Since no one could have installed the package with version "check", any AUR helpers will just grab the next version posted. On 7/8/24 06:06, notify@aur.archlinux.org wrote:

pksunkara [1] filed a deletion request for publisher [2]:

Hey,

I ended up pushing a really bad commit with version named "check" by mistake. It doesn't build and it's not correct.

I can't seem to delete that version. Can you please help? I don't need the full package deleted, but just that version deleted.

[1] https://aur.archlinux.org/account/pksunkara/ [2] https://aur.archlinux.org/pkgbase/publisher/