[Buildroot] [git commit] docs/website: move Git repository to Gitlab

[Yann E. MORIN]

commit: https://git.buildroot.net/buildroot/commit/?id=314e52add434b5ba612d68be3d57c425a2975282
branch: https://git.buildroot.net/buildroot/commit/?id=refs/heads/master

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 at bootlin.com>
Signed-off-by: Yann E. MORIN <yann.morin.1998 at free.fr>
---
 docs/website/download.html | 26 +++-----------------------
 1 file changed, 3 insertions(+), 23 deletions(-)

diff --git a/docs/website/download.html b/docs/website/download.html
index c1fd38998c..7d7b405a61 100644
--- a/docs/website/download.html
+++ b/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