daniel:// stenberg://Oct 30
One. Open. Issue.
Show threaddaniel:// stenberg://Oct 30
and now, **zero**
Show threaddaniel:// stenberg://Oct 30
Probably the first time since we switched to GitHub back in 2010.
Show threadUlf SeltmannOct 30
@bagder
The perfect time to leave GitHub.
Show threaddaniel:// stenberg://Oct 30
@smoe are we really doing this again? Will you be covering the huge CI expenses as GitHub graciously does for us now?
Show threadNik | Klampfradler 🎸🚲Oct 30

@bagder @smoe

Are we again at the point where you derail the discussion, while you know perfectly well that you can continue using GitHub's CI without requiring the community to use GitHub and move development elsewhere?

Show threadPaolo RedaelliOct 30
@nik
Using github's ci without using anything else from Github? I'm interested, where I can learn more about it?
@bagder @smoe
Show threadNik | Klampfradler 🎸🚲Oct 30

@paoloredaelli @bagder @smoe

Just mirror your repository to GitHub from Codeberg (or so). It will receive all pushes and trigger CI actions.

But I am also sure that GitHub CI is not a requirement at all. The cost argument is a red herring covering up the bribery.

Show threadaeberbach
@nik @paoloredaelli @bagder @smoe well, don’t think I need to hear anything else you might have to say.
Oct 30 at 2:47pmWeb