The push notification server for badger