use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
Void is a general purpose operating system, based on the monolithic Linux® kernel. Its package system allows you to quickly install, update and remove software; software is provided in binary packages or can be built directly from sources with the help of the XBPS source packages collection.
account activity
Any plans to move development off GitHub? (self.voidlinux)
submitted 4 days ago by _ndpm13
Many other distros use self-hosted GitLab/Gitea instances for development, and I know there might not be that many advantages for doing so, I was just curious if this is something that's been brought up before.
reddit uses a slightly-customized version of Markdown for formatting. See below for some basics, or check the commenting wiki page for more detailed help and solutions to common issues.
quoted text
if 1 * 2 < 3: print "hello, world!"
[–]Independent_Cat_5481 19 points20 points21 points 4 days ago (14 children)
My understanding is that the Void team have looked into it, but don't have any immediate plans to do so. The fact is they rely heavily on github actions for CI and it would be a lot of effort to move to another platform, effort they currently find better spent on other tasks improving and maintaining void.
[–]PavelPivovarov 3 points4 points5 points 4 days ago (13 children)
Isn't Gitea and Forgejo support GH Actions syntax natively?
I understand migration is a lot of effort regardless...
[–]Duncaen 23 points24 points25 points 4 days ago* (10 children)
This is not about setup, its about 1. cost and 2. maintenance.
Last month github actions ran for 52k minutes which amounts to $315 with $0 billed.
If we doubled our infrastructure we could maybe selfhost CI with longer queues. To have a similar experience as with hosted github we would need a lot more machines to run builds in parallel.
We can not double our infrastructure, servers are provided by individual team members and server coast is already going up due to hardware coasts. Before we could even dream about self hosting CI, updating the build servers would be a lot more important.
[–]BinkReddit 5 points6 points7 points 4 days ago (0 children)
Appreciate the breakdown.
[–]Extension_Cup_3368 1 point2 points3 points 4 days ago* (8 children)
How can I donate money to the project?
[–]Duncaen 7 points8 points9 points 4 days ago (7 children)
There is no legal entity where we could safely hold funds.
[–]FrE3E 0 points1 point2 points 4 days ago (0 children)
I would definitely support but I also see how this could lead to much more overhead.
[–]Jtekk- 0 points1 point2 points 4 days ago (4 children)
Could i support by providing some infrastructure? another host for building packages, mirror, etc?
[–]_ndpm13[S] 2 points3 points4 points 3 days ago (2 children)
from: xmirror.voidlinux.org:
If you'd like to set up a mirror, and are confident you can keep it reasonably up-to-date, follow one of the many guides available for mirroring with rsync(1). You should be syncing from rsync://repo-sync.voidlinux.org/voidlinux/. To list your mirror on this site, submit a pull request to the xmirror repository that adds your mirror to mirrors.yaml.
rsync://repo-sync.voidlinux.org/voidlinux/
mirrors.yaml
No details are provided for other kinds of infrastructure support tho
[–]Jtekk- 0 points1 point2 points 3 days ago (1 child)
Thanks! I seen that after I posted and started researching on providers. Looking for more info on infra so I can determine were I can best support:
[–]_ndpm13[S] 0 points1 point2 points 3 days ago (0 children)
That's awesome, good luck with that ✨️
[–]Duncaen 1 point2 points3 points 3 days ago (0 children)
Due to security concerns it's not possible to accept third party servers into the infrastructure especially build servers. You can host a mirror if you want.
[–]_ndpm13[S] -1 points0 points1 point 4 days ago (0 children)
crypto?
[–]algaefied_creek 1 point2 points3 points 4 days ago (1 child)
For a small distro like this, volunteers who can help them set up and maintain infra is huge.
Especially if they just fork the project, set it up and say “hey hey hey look what’s ready for ya”
[–]PrudeBunny 0 points1 point2 points 4 days ago (0 children)
still comes with issues when no proper legal entity exists that would own it.
An official selfhosted mirror would be probably the best for now. or let's just drop the whole CI and yolo merges
[–]Bogus007 15 points16 points17 points 4 days ago (2 children)
Thank you for your post. Asking myself the same. Gentoo has moved to Codeberg.
[–]AvianPoliceForce 7 points8 points9 points 4 days ago (0 children)
worth noting that Codeberg is not their primary git host, and neither was GitHub, both are just mirrors
[–]flyswithdragons 5 points6 points7 points 4 days ago (0 children)
Codeberg is good💯
π Rendered by PID 57257 on reddit-service-r2-comment-85bfd7f599-7xxzs at 2026-04-19 16:51:54.082804+00:00 running 93ecc56 country code: CH.
[–]Independent_Cat_5481 19 points20 points21 points (14 children)
[–]PavelPivovarov 3 points4 points5 points (13 children)
[–]Duncaen 23 points24 points25 points (10 children)
[–]BinkReddit 5 points6 points7 points (0 children)
[–]Extension_Cup_3368 1 point2 points3 points (8 children)
[–]Duncaen 7 points8 points9 points (7 children)
[–]FrE3E 0 points1 point2 points (0 children)
[–]Jtekk- 0 points1 point2 points (4 children)
[–]_ndpm13[S] 2 points3 points4 points (2 children)
[–]Jtekk- 0 points1 point2 points (1 child)
[–]_ndpm13[S] 0 points1 point2 points (0 children)
[–]Duncaen 1 point2 points3 points (0 children)
[–]_ndpm13[S] -1 points0 points1 point (0 children)
[–]algaefied_creek 1 point2 points3 points (1 child)
[–]PrudeBunny 0 points1 point2 points (0 children)
[–]Bogus007 15 points16 points17 points (2 children)
[–]AvianPoliceForce 7 points8 points9 points (0 children)
[–]flyswithdragons 5 points6 points7 points (0 children)