Hi,
Until now the process to deploy changes to our CI and web infrastructure
required manual deployment. But as of a few minutes ago commits will
automatically get deployed to the master via Jenkins using a github
hook. Hopefully this will drastically improve the velocity at which we
can improve the infrastructure.
Let me know if you have any questions.
-Sam