Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 7 additions & 5 deletions .github/workflows/migrator.yml
Original file line number Diff line number Diff line change
Expand Up @@ -438,14 +438,16 @@ jobs:
issue_number: prNumber,
body: `## :rocket: Migration completed!

The PR [#${newPrData.data.number}](${newPrData.data.html_url}) has been created successfully.
The pull request [#${newPrData.data.number}](${newPrData.data.html_url}) has been created successfully.

Thank you @${userTriggering} for your contribution! Please review the PR and make any necessary changes.
Thank you @${originalPR.user.login} for your contribution! Please review the new PR and make any necessary changes.

You can clone this branch in a new repository by doing:
This PR will be closed by the admins soon.

You can now start to work in the new pull request by cloning this pull request branch in a new repository by doing:

~~~terminal
git clone -b ${prHeadBranch} --single-branch https://github.com/ansys/pymapdl.git
git clone -b ${prBaseBranch} --single-branch https://github.com/ansys/pymapdl.git
~~~

If you have [GitHub CLI](https://cli.github.com/) installed, you can also use the following command to check out the pull request:
Expand All @@ -454,7 +456,7 @@ jobs:
gh pr checkout https://github.com/ansys/pymapdl/pull/${prNumber}
~~~

This PR will be closed by the admins when the new PR has been checked to work.
Thank you again for your contribution @${originalPR.user.login}!
`,
});

Expand Down
1 change: 1 addition & 0 deletions doc/changelog.d/4096.fixed.md
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
Fix: some typos in the success migrator comment.
Loading