Branches

• prepare-build-current-docker-make-target

  f417af57 · Remove old Dockerfile for bleeding-edge images · Aug 14, 2018
• master default protected

  f4a3dadf · Merge branch '25990-ci-web-terminal-2' into 'master' · Aug 14, 2018
• docker-ping

  9a761e3c · Check docker-machine instances using Docker API · Aug 16, 2018
• fix/process-killing-bug

  1187ff31 · Refactor process group killing helper · Aug 19, 2018
• make-session-and-metrics-server-initialization-logging-consistent

  c7664172 · Make session and metrics server initialization logging consistent · Aug 20, 2018