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

[notify at aur.archlinux.org]

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/