Hi, 

just wanted to give a heads up that we now have a directory in:
https://github.com/jboss/dockerfiles

We have added a docker file for AeroGear SimplePush Server and we can add more just be following the conventions (like servers in the server dir etc). 

The naming convention used at the moment the following:
jboss/aerogear-simplepush-server

You can find the it in the docker.io repository under:
https://registry.hub.docker.com/u/jboss/aerogear-simplepush-server/

/Dan