[PRQ#75013] Deletion Request for sourcegraph-amp Accepted

Request #75013 has been Accepted by Muflone [1]: [Autogenerated] Accepted deletion for sourcegraph-amp. [1] https://aur.archlinux.org/account/Muflone/