How we migrated from GitHub to Gitlab and keeping our workflow

Migrated a project from GitHub to GitLab, preserving issues, pull requests, and CI/CD workflows.