I tried to add some clisp patches to it's gitlab repo today. It's a GNU project, and the maintainer didn't do github, so he had no github actions. But previous

I tried to add some clisp patches to it's gitlab repo today. It's a GNU project, and the maintainer didn't do github, so he had no github actions. But previously there were plenty of CI pipelines on gitlab. Now there are none anymore, and a reminder that the free tier for CI pipelines will last only for 1 month. So I reactivated my github fork again, and am running the CI jobs there. Without CI it's useless. GNU should really move to a proper platform, with a proper CI. Even if it contains javascript.