render git repo creation

2017-06-23 21:37:22 +02:00
parent ac8c79fc2f
commit 336a39d74f
1 changed files with 4 additions and 0 deletions
@@ -401,6 +401,10 @@ function render(opts, c) {
 	      (c.repoName != undefined ? " in repo " + c.repoName : ""),
 	      renderPost(opts, c))];
  }
+  else if (c.type == "git-repo") {
+    return h('span.status',
+	     "Created a git repo " + c.name);
+  }
  else if (c.type == "git-update") {
    var s = h('span.status');
    s.innerHTML = "Did a git update " +