Skip to content

Fix merged PR lists for historical releases#575

Merged
IanButterworth merged 2 commits into
JuliaRegistries:masterfrom
arnavk23:fix-574-missing-merged-pr-lists
Jun 9, 2026
Merged

Fix merged PR lists for historical releases#575
IanButterworth merged 2 commits into
JuliaRegistries:masterfrom
arnavk23:fix-574-missing-merged-pr-lists

Conversation

@arnavk23

Copy link
Copy Markdown
Collaborator

No description provided.

@arnavk23 arnavk23 requested a review from IanButterworth as a code owner May 28, 2026 08:45
@arnavk23 arnavk23 requested a review from Copilot May 28, 2026 08:46
@JoshuaLampert

Copy link
Copy Markdown

Is this related to/does it fix #574?

@arnavk23

arnavk23 commented Jun 1, 2026

Copy link
Copy Markdown
Collaborator Author

Is this related to/does it fix #574?

Yes @JoshuaLampert it does. I am collaborator on the package and came up with a fix for your issues. It is a small fix and should be able to get you up to speed.
Was waiting for copilot to pick @IanButterworth's slack a bit and review this pr before he can do a final review and merge.
But don't know what happened, it didn't respond. Waiting for him to do the needful.

@JoshuaLampert

Copy link
Copy Markdown

Great, thanks for the confirmation and of course also thanks a lot for the PR.

@IanButterworth IanButterworth left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

LGTM! Thanks

@IanButterworth IanButterworth merged commit 8d054a3 into JuliaRegistries:master Jun 9, 2026
2 checks passed
@arnavk23 arnavk23 deleted the fix-574-missing-merged-pr-lists branch June 9, 2026 17:36
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