This is causing the list to get spammed by ~ 1000 per day at present by commit messages from migrated changes.
It's probably just best to block github on that list if you can, or just disable the list, until they sort out the situation.
Regards Alan -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php