[PRQ#64562] Deletion Request for prototool-git

MarsSeed [1] filed a deletion request for prototool-git [2]: Obsolete package. Upstream development discontinued in 2020, and the repo got archived in 2022. [a][b] The former developer recommends to migrate to the actively maintained buf [c], which offers a superset of prototools' features. [a]: https://github.com/uber/prototool [b]: https://github.com/uber/prototool/issues [c]: https://archlinux.org/packages/?name=buf [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/prototool-git/