skadge

This seems to be grounded in US law. Does anyone know if the same rules would apply in eg EU law?

FWIW, I'm using Bizum on a daily basis in Spain, on a de-googled android phone running e/os/, via my bank app (revolut)

We are a ~70 engineers company in Spain, using on-prem Gitlab. One engineer in fully dedicated to the dev + maintenance of our CI/CD pipeline.

Due to a large & spread code base (~1000 repos) and rather complex testing and deployment needs (we sell research robots: many different platforms, each of them with customer customizations), Gitlab has been an excellent platform for us, that we can easily shape to the needs of our pipeline.

The dev experience is also great: pushing one tag essentially turns code in ready-to-install Debian packages in a test environment, followed by one additional click on a Gitlab pipeline to send the packages to production.

We could probably do that with github as well, but I would not underestimate the convenience of having the whole platform accessible and available at our fingertips.

TL;DR: we won't move to github any time soon :-)

Is texlive 2024 producing tagged PDF out of the box? That would be awesome! If not, is there somewhere some instructions/tutorials explaining the steps to follow?

Some governments already do, and sometimes at a massive scale. See for instance the mass import of French cadastre in OSM in 2008. We are talking about millions of georeferenced entities.