[aur-requests] [PRQ#15408] Deletion Request for php-igbinary

freitafr [1] filed a deletion request for php-igbinary [2]: php-igbinary has been moved to community by David Runge, because it’s a dependency for php-redis that was already in community. https://www.archlinux.org/packages/community/x86_64/php-igbinary/ The php-igbinary AUR package is now a duplicate of a community maintained package. It violates the AUR guideline:

The submitted PKGBUILDs must not build applications already in any of the official binary repositories under any circumstances.

If that’s correct, please remove this package. [1] https://aur.archlinux.org/account/freitafr/ [2] https://aur.archlinux.org/pkgbase/php-igbinary/