Push Notifications for @everyones and roles are degraded

Resolved

This incident has been resolved.

Update

The issue has been identified and a fix is being implemented.

Investigating

We are investigating an issue where push notifications @everyone and role pings are degraded for servers over 2500 members.