docs/website: move Git repository to Gitlab

We're now using Gitlab as our official Git repository, so let's update
the website accordingly. Gitlab only provides https:// access, so drop
the explanation about the Git native protocol being more efficient
than HTTP (also because that's no longer true).

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Signed-off-by: Yann E. MORIN <yann.morin.1998@free.fr>

docs/website/download.html

@@ -124,14 +124,14 @@
 	  <div class="panel panel-success">
 	    <div class="panel-heading">Repository</div>
 	    <div class="panel-body">
-	      <P>The buildroot repository can be browsed online through cgit at
-		<a href="http://git.buildroot.net/buildroot/">http://git.buildroot.net/buildroot</a>.
+	      <P>The buildroot repository can be browsed online at
+		<a href="https://gitlab.com/buildroot.org/buildroot/">https://gitlab.com/buildroot.org/buildroot/</a>.
 		To grab a copy of the repository use</p>
 
 
 	      <div class="input-group" style="width: 100%;">
 		<input class="form-control" style="width: 85%;" id="giturl"
-		       value="git clone git://git.buildroot.net/buildroot" type="text" readonly></input>
+		       value="git clone https://gitlab.com/buildroot.org/buildroot.git" type="text" readonly></input>
 		<span class="input-group-button">
 		  <button class="btn pull-right" type="button" data-clipboard-target="#giturl"
 			  data-toggle="tooltip" data-placement="bottom" data-trigger="manual" title="Copied!">
@@ -140,26 +140,6 @@
 		</span>
 	      </div><br>
 
-	      <p>
-		Or if you're behind a firewall blocking git:
-	      </p>
-
-	      <div class="input-group" style="width: 100%;">
-		<input class="form-control" style="width: 85%;" id="giturlhttps"
-		       value="git clone https://git.buildroot.net/buildroot" type="text" readonly></input>
-		<span class="input-group-button">
-		  <button class="btn pull-right" type="button" data-clipboard-target="#giturlhttps"
-			  data-toggle="tooltip" data-placement="bottom" data-trigger="click" title="Copied!">
-		    <img class="clippy" src="images/clippy.svg" alt="Copy to clipboard" width="13">
-		  </button>
-		</span>
-	      </div><br>
-
-	      <p>
-
-		Please use the native git protocol if at all possible, as it's a lot
-		more efficient than HTTP.
-
 	      <p>
 
 		If you are not already familiar with using Git, we recommend you visit <a