InfoMagnus built automated tooling to convert Jenkins pipelines to GitHub Actions with best-practice education.