Push Server

A web UI for pushing applications onto servers.

This project also contains the ‘pull’ application that runs on every server that is controlled via ‘push’.