diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2018-06-10 21:47:42 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2018-06-10 21:47:42 +0200 |
| commit | 1da567efc970240b69e7c7ba555917b90aa85fa0 (patch) | |
| tree | fe9034f1ce8c32032d419f59341b9c5f158c6a3d /doc/install.texi | |
| parent | ecb1cabe6e7c0061377f3858b1933e71a3215781 (diff) | |
| download | geiser-1da567efc970240b69e7c7ba555917b90aa85fa0.tar.gz geiser-1da567efc970240b69e7c7ba555917b90aa85fa0.tar.bz2 | |
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!
Diffstat (limited to 'doc/install.texi')
| -rw-r--r-- | doc/install.texi | 2 |
1 files changed, 1 insertions, 1 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. |