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
{{ message }}
This repository has been archived by the owner on Jan 23, 2025. It is now read-only.
The auto merge tool in github relies on the github merge methods, I don't like them because they dont use the same head commit from the branch.
I need some other method to automerge that does use put the same HEAD commit from the PR to main (probably something that uses git commands under the hood).
I need this for when I want to auto-merge my hand written changes and auto generates ones from github actions.
The text was updated successfully, but these errors were encountered:
The auto merge tool in github relies on the github merge methods, I don't like them because they dont use the same head commit from the branch.
I need some other method to automerge that does use put the same HEAD commit from the PR to main (probably something that uses
git
commands under the hood).I need this for when I want to auto-merge my hand written changes and auto generates ones from github actions.
The text was updated successfully, but these errors were encountered: