This repo has been retired and then un-retired. The old retired version (with the badly-structured Ansible project) is in branch old.

Now, it's a repo to run GitHub Actions to do maintenance on my stuff.