Right but as the article shows, there are many "push technologies"... what is this project about? Someone subscribed for notifications and then this server sends them?
Exactly that. A device registers with the server and then there's a REST API or CLI binary that you can use to send it push notification messages.