From d8b8349c080b71c84a215495c271f36c0f8cfa4e Mon Sep 17 00:00:00 2001
From: Tim Head <betatim@gmail.com>
Date: Sun, 11 Aug 2019 14:49:21 +0200
Subject: [PATCH] Automatically open the log while building a repository

---
 binderhub/static/js/index.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/binderhub/static/js/index.js b/binderhub/static/js/index.js
index d745dd8f8..f5a9e6be7 100644
--- a/binderhub/static/js/index.js
+++ b/binderhub/static/js/index.js
@@ -172,6 +172,7 @@ function build(providerSpec, log, path, pathType) {
 
   image.onStateChange('building', function(oldState, newState, data) {
     $('#phase-building').removeClass('hidden');
+    log.show();
   });
 
   image.onStateChange('pushing', function(oldState, newState, data) {