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
Add new input: manual_merge: Prefer to do a manual git merge. Default to yes.
Breaking change: due to recent issues with GitHub PR merge branch update delays we changed to "manual git merge" by default. If you use pull requests from private forks you should switch the manual_merge option introduced in this version to no, which restores the previous logic (it uses the GitHub exposed pr merge branch instead of attempting to do a manual git merge).
We'll release a new version soon which will be able to auto-detect the best merge strategy/algorithm, so that you don't have to turn off manual_merge in case of GitHub private fork pull requests.