So there are:
core:

• pkgmaster.d.o

• git.d.o

• files.d.o

• keyring.d.o

• bugs.d.o

• ci.d.o (jenkins)

• devuan.o

• pkgs search

• forum

• wiki

• newsgroups

outerim :

• mirrors

• dns service?

• irc channels

Hard to believe no one answered you question. And even harder to believe you aren't aware that Jenkins is our package builder!

You can find it here:
https://jenkins.devuan.dev/view/Devuan% … 0Builders/

And it is mentioned on this page of devuan.org:
https://www.devuan.org/os/development

Logs are available at:
#devuan-ci

Edit: Also info about our build system on this very forum amprolla magic.

I think one should have a broad interpretation that aims to include everyone who think of themselves as a Devuan person. "Devuan Infrastructure" would include any and all means such a person would use for acting as Devuan person; in particular it then does include IRC groups at libera.chat even though the underlying networking and server equipment for that has a broader context than just for Devuan. (golinux likely meant only that the people providing libera.chat do so independently from any Devuan discussion group)

So in my mind, "Devuan infrastructure" would also include all mirroring of packages and ISOs and DNS service as well as the "health checking" of that, in addition to the git store and the build system and other services that explicitly are maintained in the name of Devuan.

The "central" part, i.e., the equipment paid by the registered devuan organisation, currently comprises three bare-metal hosts in Europe that together hold 28 virtual hosts with different service roles. Some of those are "inwards facing", such as package, ISO and docker image building (not to forget "amprolla", which prepares the repository indexes for the Devuan repositories) as well as the git store, bug tracking and more. A few services are for organisational purposes, such as email and backup, and some other are "outwards facing", such as web, forum, wiki and mailing list(s).

I don't think IRC can be considered as part of the infrastructure of Devuan or any distro for that matter, it's just a handy little outside utility, a simple courtesy that may be helpful.

Very interesting. What is condisedered part of Devuan project infrastructure ?

Like it or not, LLM's are likely the way forward, not everybody has the time or patience to search endless links, tutorials and read dozens if not hundreds of man pages...I know it's wearing me right out.

If I really want eyes on an issue, I post it to the forum first, where it will be easily accessible and seen by many. Then I go on IRC and post a link to the forum thread for maximum coverage.