Push Notifications on Android

Hi, has anyone got any info on implementing push notifications on Android?

The tutorial here: https://docs.juce.com/master/tutorial_push_notifications.html

just doesn’t seem to work for me, so would be useful if someone who has successfully implemented this could share some details.

thx