GitHub now supports deploy keys with write permissions, so there is no
need anymore for a surrogate GitHub account. Using the deploy key allows
for a much simplified setup process, in addition to making each key
project-specific on the GitHub side.

Had this in my git stash, still relevant although I've since migrated
away from PIV tokens

those jobs don't need the fail-on-desync-wiki job to finish, to be able to
function

also check required variables for find-files job

this job should work with both merge requests and regular commits

The more I look at this project, the more interesting I find it.