Push Server
A web UI for pushing applications onto servers.