Unfortunately, I am stuck trying to fix this. It's not clear how to
set up the authentication.
Gitlab isn't the best documented thing out there.
Indeed, let us switch to github in our docs.
We'd perhaps move building Sage's docker containers to github, too.
Dima
On Wed, Sep 8, 2021 at 10:43 AM
Well, we need to monitor gitlab better. I'm trying to fix the mirroring now.
Dima
On Tue, Sep 7, 2021 at 11:47 PM Nils Bruin wrote:
>
> On:
>
> https://doc.sagemath.org/html/en/developer/manual_git.html
>
> it is suggested to start with
>
> git clone https://gitlab.com/sagemath/dev/tracmirror.gi
On:
https://doc.sagemath.org/html/en/developer/manual_git.html
it is suggested to start with
git clone https://gitlab.com/sagemath/dev/tracmirror.git
however, the gitlab mirror is stuck at 9.3. The github mirror tracks the
development tree much better. Shouldn't we be pointing people to that
