From 8c9bca9405ecddaac38b37f284b1b2b3c048f1d9 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 5 Dec 2014 20:25:13 +0100
Subject: [PATCH] * HACKING: Mention the new gitlab page and repository.

---
 HACKING | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/HACKING b/HACKING
index ce1ad4692..e3443b2c0 100644
--- a/HACKING
+++ b/HACKING
@@ -3,6 +3,14 @@ Bootstraping from the GIT repository
 
 (If you are building from a tarball, skip this section.)
 
+Spot's gitlab page is at
+
+  https://gitlab.lrde.epita.fr/spot/spot
+
+The GIT repository can be cloned with
+
+  git clone https://gitlab.lrde.epita.fr/spot/spot.git
+
 Some files in SPOT's source tree are generated.  They are distributed
 so that users do not need to tools to rebuild them, but we don't keep
 all of them under GIT because it can generate lots of changes or