ci: add GitHub main -> GitLab sync MR workflow#65

Merged

jarcherNV merged 14 commits intomainfrom

dev/jarcher/sync

Apr 20, 2026

Commits on Apr 10, 2026

Commits on Apr 17, 2026

Only create MRs in gitlab when a PR is merged to main
jarcherNV
committed