Skip to content

Fix merged PR lists for historical releases#575

Open
arnavk23 wants to merge 1 commit into
JuliaRegistries:masterfrom
arnavk23:fix-574-missing-merged-pr-lists
Open

Fix merged PR lists for historical releases#575
arnavk23 wants to merge 1 commit 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
Copy link
Copy Markdown
Collaborator Author

arnavk23 commented Jun 1, 2026

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.

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.

2 participants