Jenkins to GitHub Actions Pipeline Conversion

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