I’ve considered making some drive-by PRs in the past but decided against it due to my hard boycott stance against github enshittification (and boiling-frog censorship) under Microsoft. If a push mirror could be set up on, say, Codeberg or Tangled.org for accepting contributions it would go a long way towards making it easier to accept external help. I see that the current repo is quite entrenched in the GitHub Actions workflow ecosystem so it’s obviously infeasible to completely migrate at once, but it would’ve wise to start thinking about diversifying your baskets to prepare for contingencies.
Updated