gitlab.com/sagemath/sage is stuck at 9.8.rc0

[Sébastien Labbé]

Bonjour everyone,

I noticed that

https://gitlab.com/sagemath/sage

is stuck at 9.8.rc0.

Is it possible to continue to update this gitlab repo at each release of a development version as it was done for years for the github and gitlab repo while we were on trac?

I hope it is just a matter of adding a `git push` line to some of Volker's release script?

Best,

Sébastien

[Dima Pasechnik]

On Thu, Mar 30, 2023 at 9:27 AM Sébastien Labbé <sla...@gmail.com> wrote:

> I noticed that
> https://gitlab.com/sagemath/sage
> is stuck at 9.8.rc0.
>
> Is it possible to continue to update this gitlab repo at each release of a development version as it was done for years for the github and gitlab repo while we were on trac?

It was done in GitLab mirroring settings. They were pointing to the
trac repo, I've changed that.
But it appears to be working only for Premium instances, whatever it
means (I guess, paying).

Instead we can set up a full (or partial) push mirroring on GitHUb
side, using a GitHUb Action, e.g.
(one of several competing options)
https://github.com/marketplace/actions/mirroring-repository

>
> I hope it is just a matter of adding a `git push` line to some of Volker's release script?

this is not very robust.

Dima




>
> Best,
>
> Sébastien
>
> --
> You received this message because you are subscribed to the Google Groups "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/83af8804-8498-4a51-b0f9-29426762309cn%40googlegroups.com.