Merged PR shown as open, new commits appear

[mira-miracoli]

Select Topic Area

Question

Body

Maybe I am missing something or misunderstood how GH works, but can this PR be shown as open and merged at the same time? In the PR overview it appears to be open and I also never received a notification that it was merged, but in the commit history there is a commit that refers to it as merged.
Also the diff after the last commit appears not to compare against usegalaxy-eu/vgcn-infrastructure@7e69eca but something else.

[github-actions[bot]]

🕒 Discussion Activity Reminder 🕒

This Discussion has been labeled as dormant by an automated system for having no activity in the last 60 days. Please consider one the following actions:

1️⃣ Close as Out of Date: If the topic is no longer relevant, close the Discussion as out of date at the bottom of the page.

2️⃣ Provide More Information: Share additional details or context — or let the community know if you've found a solution on your own.

3️⃣ Mark a Reply as Answer: If your question has been answered by a reply, mark the most helpful reply as the solution.

Note: This dormant notification will only apply to Discussions with the Question label. To learn more, see our recent announcement.

Thank you for helping bring this Discussion to a resolution! 💬