diff --git a/colab/proxy/gitlab/templates/proxy/gitlab.html b/colab/proxy/gitlab/templates/proxy/gitlab.html
index ef0865d..1d55f9f 100644
--- a/colab/proxy/gitlab/templates/proxy/gitlab.html
+++ b/colab/proxy/gitlab/templates/proxy/gitlab.html
@@ -33,12 +33,12 @@
 
 {% block head_js %}
 <script type="text/javascript">
-  $(function(){
+  jQuery(function(){
     // bootstrap.css forces .hide {display:none!important}, and this makes
     // gitlab .hide elements NEVER have a display:block, so
     // instead of editing bootstrap.css, we just removed '.hide' css class and
     // toggled 
-    $('.hide').removeClass('hide').css('display', 'none');
+    jQuery('.hide').removeClass('hide').css('display', 'none');
 
     // Hit the SSH clone button to select it by default
     jQuery(".git-clone-holder .btn:contains('SSH')").click()
--
libgit2 0.21.2