[PRQ#75013] Deletion Request for sourcegraph-amp

[notify]

ampcode [1] filed a deletion request for sourcegraph-amp [2]:

this is now called "ampcode"

[1] https://aur.archlinux.org/account/ampcode/
[2] https://aur.archlinux.org/pkgbase/sourcegraph-amp/