Remove GitLab references in web-ui documentation

Clean up other references in README.md and developer documentation.

Author: tmcgilchrist

README.md

@@ -63,7 +63,6 @@ If you want to build the whole system, the easiest way is using Docker:
 
 ```sh
 docker build -f Dockerfile -t ocaml-ci-service .
-docker build -f Dockerfile.gitlab -t ocaml-ci-gitlab .
 docker build -f Dockerfile.web -t ocaml-ci-web .
 ```
 
@@ -136,7 +135,7 @@ $ ocaml-ci mirage/irmin pull/867 alpine-3.10-ocaml-4.08 cancel
 
 ## Deployment
 
-`ocaml-ci` is deployed as three docker images built from `Dockerfile`, `Dockerfile.gitlab` and `Dockerfile.web`, with
+`ocaml-ci` is deployed as two docker images built from `Dockerfile` and `Dockerfile.web`, with
 the live service following `live-engine` for the backend and `live-www` for the frontend.
 An ocurrent-deployer [pipeline](deploy.ci.dev) watches these branches, performing a docker build
 and deploy whenever it sees a new commit. The live branches should typically contain commits from `master` plus potentially

doc/gitlab-dev.md

@@ -13,7 +13,7 @@ These are some principles for `web-ui` that we will hold to:
     There should be no template or markup related code here.
   - Routes are in `web-ui/router.ml` -- these call controllers.
   - Concerns related to serialising and deserialising to JSON are in `representation`
-  - A `Git_forge` functorises controllers and views allowing for implementation of GitHub and GitLab git-forges.
+  - A `Git_forge` functorises controllers and views allowing for implementation of git-forges (currently GitHub).
 
 
 The dependencies in web-ui are described below:

web-ui/README.md

@@ -278,7 +278,7 @@ let user_guide website_scheme_and_domain =
                   txt
                     " : An organisation that owns projects that they want to \
                      build. This typically corresponds to an account on GitHub \
-                     or GitLab for example.";
+                     for example.";
                 ];
               p
                 [

web-ui/view/documentation.ml

@@ -12,8 +12,8 @@ let show =
            repository's health following the additional changes introduced by \
            the commit. It shows the overall status as well as an overview of \
            the steps that constitute the build. When examining a commit on \
-           GitHub or GitLab, clicking on the commit's build status will bring \
-           you to this page.";
+           GitHub, clicking on the commit's build status will bring you to \
+           this page.";
       ];
     img
       ~a:[ a_class [ "border border-solid" ] ]

web-ui/view/documentation/build_page.ml

@@ -17,22 +17,11 @@ let show =
       [
         txt
           "The index page of OCaml-CI lists all organisations that OCaml-CI \
-           knows about, across both GitHub and GitLab. The logo of the Git \
-           forge is used to indicate the source of the organisation. Note that \
-           if no repositories are registered with OCaml-CI, the organisation \
-           will not be listed.";
+           knows about. Note that if no repositories are registered with \
+           OCaml-CI, the organisation will not be listed.";
       ];
     img
       ~a:[ a_class [ "border border-solid" ] ]
       ~src:"/images/index-page-overview.png" ~alt:"index-page-overview" ();
-    p
-      [
-        txt
-          "A filter is provided to select between GitHub or GitLab. Search is \
-           also available.";
-      ];
-    img
-      ~a:[ a_class [ "border border-solid" ] ]
-      ~src:"/images/index-page-search.png" ~alt:"index-page-search" ();
     p [ txt "To see its repositories, click on the organisation." ];
   ]

web-ui/view/documentation/index_page.ml

@@ -130,8 +130,8 @@ let concepts_and_terms =
       [
         strong [ txt "Git forge" ];
         txt
-          " : A service that hosts Git repositories. Currently GitHub and \
-           GitLab are supported.";
+          " : A service that hosts Git repositories. Currently GitHub is \
+           supported.";
       ];
     p
       [