On Mon, Nov 29, 2021 at 4:58 AM julian...@fsfe.org
<julian.ru...@fsfe.org> wrote:
>
> Hi Maarten,
>
> On Saturday, November 27, 2021 at 11:07:29 AM UTC-6 m.derick...@gmail.com 
> wrote:
> > So I am wondering, is gitlab being phased out/abandoned, or do we still 
> > support it and do we just need to show it some love?
>
> I set up much of the things on GitLab initially, in the hope that it could 
> eventually become an alternative to trac. I showed this to quite some people 
> at Sage Days and elsewhere but did not get the feeling that there was much 
> interest overall. So, yes, I think currently it is essentially abandoned.
>
> As Dima said would need a runner with a fair amount of disk space (not sure 
> how much exactly but nothing too crazy) to fix the CI. However, I would not 
> be surprised if the CI/docker build is broken anyway since it is not part of 
> the tests that are performed before we release.
>
> I would not want to put too much work in fixing the CI on GitLab since I 
> don't think we should be using GitLab just to run a bit of CI there. There 
> seems to be some more activity of SageMath developers on GitHub currently, so 
> migrating the docker build over to GitHub might be an option. In particular 
> if we think that we want to support GitHub as a trac alternative at some 
> point.

A dedicatedself-hosted  GitHub runner would be great, still. See
https://docs.github.com/en/actions/hosting-your-own-runners/about-self-hosted-runners

>
> julian
>
> --
> 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+unsubscr...@googlegroups.com.
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/b9dcce67-49a7-4970-ab93-d64a2ab7dabcn%40googlegroups.com.

-- 
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+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAAWYfq1OE%3DSm7fOaadsHaM1ne9QN3mSzBcJj3D%2BC90T4df%3DHHw%40mail.gmail.com.

Reply via email to