“The OpenPush project aims to create ... Development is still ongoing.”
Doesn’t sound like it from the website.
The repo says it is unfinished, and commits seem to have stopped a year ago. It looks like it has been abandoned.
Has it been used in production somewhere?
I wouldn't be surprised if Amazon has their own internal implementation of the same thing to use in their Android apps.