MarsSeed [1] filed a deletion request for ping-git [2]: Broken, abandoned build from 2019.
Upstream has not been maintained for close to 4 years. [a] [a]: https://github.com/jeremyvaartjes/ping [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/ping-git/
