Skip to content

Conversation

@mikeshootzz
Copy link
Contributor

@mikeshootzz mikeshootzz commented Dec 24, 2025

Summary

This updates the merge workflow to ensure that develop points to the latest merge commit and not a possibly outdated commit from a PR.

The workflow was tested and validated in a fork: https://github.com/mikeshootzz/appcat/actions/runs/20484326124

Checklist

  • Update tests.
  • Link this PR to related issues.
  • Merge with /merge comment.

Component PR: vshn/component-appcat#1032

This updates the merge workflow to ensure that develop points to the
latest merge commit and not a possibly outdated commit from a pr.
@github-actions
Copy link
Contributor

@mikeshootzz mikeshootzz requested review from a team, Kidswiss, TheBigLee, mdnix and zugao and removed request for a team December 24, 2025 12:11
This gets the merge commit directly from the pull request to ensure that
it actually belongs to the pull request. This fixes a race condition
where a newer branch image could be built when two developers merge at
the same time.
@mikeshootzz mikeshootzz requested a review from zugao December 24, 2025 14:20
@github-actions
Copy link
Contributor

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants