A small GitHub deployment server.