Demonstration cloning URL set to https://git.maneage.org/project.git

Until now, we were using GitLab as the main Git repository of Maneage. But
today I finally setup our own Git repository under `git.maneage.org' and
enabled a CGit web interface for a simple and fast viewing of the commits
and changes.

Since this URL is under our own control, we can always ensure that it will
point to somewhere meaningful, on any server so in the long-run its much
better than publishing the paper an explicit reliance of `gitlab.com'.

1 files changed, 2 insertions, 2 deletions

diff --git a/paper.tex b/paper.tex
index d2aef68..d251038 100644
--- a/paper.tex
+++ b/paper.tex
@@ -322,7 +322,7 @@ Customization is done by adding the names of the necessary software, references
 This will be done in multiple commits during the project (perhaps years), preserving the project's history: the descriptions of, and motivations for, changes or test failures and successes, as well as the authors and timestamps of each change.
 
 \begin{lstlisting}[language=bash]
-  git clone https://gitlab.com/maneage/project.git  # Clone Maneage, default branch `maneage'.
+  git clone https://git.maneage.org/project.git     # Clone Maneage, default branch `maneage'.
   mv project my-project && cd my-project            # Set custom name and enter directory.
   git remote rename origin origin-maneage           # Rename remote server to use `origin' later.
   git checkout -b master                            # Make new `master' branch, start customizing.
@@ -808,7 +808,7 @@ The authors have no competing interests to declare.
 \end{document}
 
 %% This file is part of a paper describing the Maneage workflow system
-%%   https://gitlab.com/makhlaghi/maneage-paper
+%%   https://maneage.org
 %
 %% This file is free software: you can redistribute it and/or modify it
 %% under the terms of the GNU General Public License as published by the