Skip to content

Conversation

@vshnbot
Copy link
Collaborator

@vshnbot vshnbot 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

@mikeshootzz mikeshootzz requested review from a team, Kidswiss, TheBigLee, mdnix, mikeshootzz and zugao and removed request for a team, Kidswiss, TheBigLee, mdnix and zugao December 24, 2025 12: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.

3 participants