ci: implementing migrator workflow

[germa89]

Summary

As the title.

This pull request introduces a new GitHub Actions workflow, migrator.yml, designed to handle pull requests originating from forks. The workflow ensures that secrets required for CI processes can be accessed by migrating the forked PR into a branch within the base repository.

This pull request introduces a new GitHub Actions workflow, migrator.yml, to handle pull requests originating from forks. The workflow migrates forked PRs into branches within the base repository, enabling access to repository secrets for CI workflows.

Changes

• New Workflow: Added migrator.yml to workflows.

• Trigger Events:

  • Automatically triggered by comments containing @pyansys-ci-bot migrate or @pyansys-ci-bot sync on pull requests.
  • Can also be triggered manually via workflow_dispatch with an issue number input.

• Key Steps:

  • Reacts to comments to confirm the action.
  • Fetches details about the source branch and repository.
  • Clones the forked repository and checks out the source branch.
  • Creates a new branch in the base repository, merges the source branch, and pushes the changes.
  • Opens a new pull request in the base repository if one does not already exist.
  • Posts comments to indicate success or failure of the migration process.

This workflow simplifies the process of handling forked pull requests, improving CI reliability and developer experience.

Example of fork PR: #3868
Example of migrated PR: #3886

[ansys-reviewer-bot]

Thanks for opening a Pull Request. If you want to perform a review write a comment saying:

@ansys-reviewer-bot review

[germa89]

I think this is more or less ready. The conflict in the changes is still not clear to me, so I would appreciate any suggestions on this.

Pinging @RobPasMue since I discussed this topic with him and pinging @klmcadams because i would love her feedback on the conflict resolution.

[klmcadams]

Hi @germa89, I've resolved conflicts with cherry-picks like this, but I found this git-mergetool command that could be helpful for you if you're seeing the conflicts when doing the git merge. Here's a stackoverflow thread about how to use git-mergetool.