Deploying to gh-pages from @ 948159b 🚀

index.html

@@ -34,7 +34,7 @@
        var header = $(`<div id="header_wrap" class="outer">
           <header class="inner">
             
-              <a id="forkme_banner" href="javascript:void(0)">Fork on GitHub</a>
+              <a id="forkme_banner" href="https://github.com/Beluga-lang/McTT">Fork on GitHub</a>
             ${h1elem.outerHTML}
           </header>
       </div>`);