Moving to Gitlab

Probably not a totally smart move, since sooner or later gitlab's
going to fall as github did (for a fruity company would be my bet).
But oh well, at least we can export a CSV of the issues!

3 files changed, 5 insertions, 5 deletions

diff --git a/doc/install.texi b/doc/install.texi
index 55176cf..2a94216 100644
--- a/doc/install.texi
+++ b/doc/install.texi
@@ -130,7 +130,7 @@ git clone http://git.sv.gnu.org/r/geiser.git
 
 @noindent
 You can also follow Geiser's development in
-@uref{https://github.com/jaor/geiser, one}
+@uref{https://gitlab.com/jaor/geiser, one}
 @uref{http://repo.or.cz/w/geiser.git, or}
 @uref{http://gitorious.org/geiser, three} mirrors that are kept
 synchronized with the one at Savannah.
diff --git a/doc/thanks.texi b/doc/thanks.texi
index 3b08155..d262a41 100644
--- a/doc/thanks.texi
+++ b/doc/thanks.texi
@@ -70,8 +70,8 @@ gmane.lisp.scheme.geiser}.
 @item
 @cindex bug tracker
 You can submit bug reports either to the mailing list or to
-@uref{https://github.com/@/jaor/geiser/issues, our bug tracker} over at
-Github.
+@uref{https://gitlab.com/@/jaor/geiser/issues, our bug tracker} over at
+Gitlab.
 @item
 @cindex news feed
 If you only need to hear about Geiser on new releases,
diff --git a/doc/web.texi b/doc/web.texi
index b30ead2..5ec902e 100644
--- a/doc/web.texi
+++ b/doc/web.texi
@@ -22,8 +22,8 @@
 @html
 <br/>
 <div class="navigation" align="right">
-<a class="navlink" href="https://github.com/jaor/geiser/issues">Bugs</a>&nbsp;&nbsp;&nbsp;&nbsp;
-<a class="navlink" href="https://github.com/jaor/geiser.git">Source</a>&nbsp;&nbsp;&nbsp;&nbsp;
+<a class="navlink" href="https://gitlab.com/jaor/geiser/issues">Bugs</a>&nbsp;&nbsp;&nbsp;&nbsp;
+<a class="navlink" href="https://gitlab.com/jaor/geiser.git">Source</a>&nbsp;&nbsp;&nbsp;&nbsp;
 <a class="navlink" href="http://lists.nongnu.org/mailman/listinfo/geiser-users">Mailing list</a>&nbsp;
 </div>
 @end html