Skip to content

Conversation

@gilles-peskine-arm
Copy link
Contributor

No description provided.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
fi

revision_range=$1
merge_commits=$(git log --merges --first-parent --format=%H $revision_range)
Copy link
Contributor Author

Choose a reason for hiding this comment

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

Now that we always merge through GitHub, we could use a more sensitive search to only catch PR merges and not merges from inside PR.

The heuristic that @arm.com = PR by the team and PR by the team = low
likelihood of a missing changelog is not particularly correct nowadays.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
Normally this script should only list merge commits without conflicts,
so there shouldn't be a diff. But don't pollute the output if there is
a diff.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
Copy link
Contributor

@yanesca yanesca left a comment

Choose a reason for hiding this comment

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

LGTM.

@yanesca yanesca merged commit 323c207 into Mbed-TLS:main Aug 9, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request needs-review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants