Exposes REST APIs to push messages to Google Cloud Messaging system. Messages are also persisted in DB. There is an Android application which uses the REST APIs to push, retrieve, add user IDs. For privacy reasons, the app is not available on public github.