Skip to content

Move generate_redirects.jl to .ci#121111

Merged
ericphanson merged 22 commits intoJuliaRegistries:masterfrom
jkrumbiegel:jk/move-generate-redirects
Dec 10, 2024
Merged

Move generate_redirects.jl to .ci#121111
ericphanson merged 22 commits intoJuliaRegistries:masterfrom
jkrumbiegel:jk/move-generate-redirects

Conversation

@jkrumbiegel
Copy link
Contributor

No description provided.

Comment on lines +93 to +98
cd(joinpath(@__DIR__, "..")) do
mkpath(package_path())
packages_info = get_packages_info()
for (; name, path) in packages_info
create_redirect_page(; name, path)
end
Copy link
Member

Choose a reason for hiding this comment

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

I think no change is needed here, since the cwd hasn't changed. That being said this is maybe a bit more robust since it doesn't rely on the cwd

@jkrumbiegel
Copy link
Contributor Author

for some reason I have the commits from the other branch in here, too, but squash merge will take care of that

@ericphanson ericphanson merged commit 9a5e1d4 into JuliaRegistries:master Dec 10, 2024
9 checks passed
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