You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Make a script to merge changes from origin/main into ci and run it before updating to Step 5 in the Step 4 workflow.
Additional context
An extract from the current Step 5 markdown
1. Go to the **Pull requests** tab.
1. Resolve any merge conflicts. <!-- TODO: figure out a better way to deal with the merge conflicts. -->1. Click **Merge pull request**.
The text was updated successfully, but these errors were encountered:
Summary
ToDo of PR #53
Changes
Make a script to merge changes from
origin/main
intoci
and run it before updating to Step 5 in the Step 4 workflow.Additional context
An extract from the current Step 5 markdown
The text was updated successfully, but these errors were encountered: