Skip to content

Conversation

@arxanas
Copy link
Owner

@arxanas arxanas commented Dec 1, 2022

No description provided.

It looks like the `--merge` option wasn't actually hooked up to force merge conflict resolution when performing `git amend`. This commit hopefully fixes that.
@arxanas arxanas enabled auto-merge (rebase) December 1, 2022 21:58
@arxanas arxanas merged commit 5c13964 into master Dec 1, 2022
@arxanas arxanas deleted the arxanas/amend2 branch December 1, 2022 22:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants