Which pull request merge strategy should we use? #93
Closed
jamie-o-wilkinson
started this conversation in
Polls
Replies: 1 comment
-
Closing as resolved in the tech weekly of meeting on 13/2/23 |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
So far we've been carefully creating nice commit histories on our development branches via interactive rebasing, and then creating a merge commit when a PR is merged into a repo's main branch. This is fine, but incompatible with the linear history requirement option, if we wanted to use that.
Other things to consider are whether we prefer an easier to read linear history when looking through the git log, or if we prefer the extra information seeing previous branches and merge commits conveys.
Note that we can have any combination of merge strategies, but the poll seems to only allow single choices 😢
0 votes ·
Beta Was this translation helpful? Give feedback.
All reactions