Skip to content

Conversation

@mstorsjo
Copy link
Member

When merging main into a PR, the merge commits bring in changes to files in all subprojects. Essentially this means that any PR that merges main ends up sending mails to all mailing lists.

When iterating over the commits in the PR, skip the merge commits. If the merge commits contains functional changes other than the pure merge, the same changed files should be present in other commits anyway, if the changes are due to conflicts.

When merging main into a PR, the merge commits bring in changes to
files in all subprojects. Essentially this means that any PR that
merges main ends up sending mails to all mailing lists.

When iterating over the commits in the PR, skip the merge commits.
If the merge commits contains functional changes other than the
pure merge, the same changed files should be present in other
commits anyway, if the changes are due to conflicts.
Copy link

@asl asl left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks!

@mstorsjo
Copy link
Member Author

mstorsjo commented Feb 6, 2024

@asl Would you be able to merge and deploy this (together with #9), or is @tstellar the only one with access to that setup?

@asl
Copy link

asl commented Feb 6, 2024

@mstorsjo I'll try to see what I can do

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