Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

🤖 Bump the Pkg stdlib from edfe2943 to 9f672535 #40961

Merged
merged 1 commit into from
May 26, 2021
Merged

🤖 Bump the Pkg stdlib from edfe2943 to 9f672535 #40961

merged 1 commit into from
May 26, 2021

Conversation

DilumAluthgeBot
Copy link
Contributor

Stdlib: Pkg
Branch: master
Old commit: edfe2943
New commit: 9f672535
Bump invoked by: @DilumAluthge

$ git log --oneline edfe2943..9f672535
9f672535 Improve the implementation of `force_latest_compatible_version` (#2541)
0ead8ab4 Read the registry straight from the tarball (#2431)
48c8f401 Provide more detailed error message when a pkg overwrite is detected (#2486)
2029bee7 Improvements to generate (#2492)
c5b1f3dc Converge `Pkg.gc` and `Pkg.API.gc` docs (#2566)
b741af74 Reread registry after updating it. (#2571)
2fa01eda Don't count deletion failures in `gc` space savings (#2565)
3d85e687 Precompilation: Adjustments for efficiency (#2569)

@DilumAluthge
Copy link
Member

The purpose of this PR is to get JuliaLang/Pkg.jl#2541 into Julia nightly, so that we can start testing it in the wild.

@DilumAluthge DilumAluthge added the merge me PR is reviewed. Merge when all tests are passing label May 26, 2021
@GunnarFarneback
Copy link
Contributor

When I saw this I was sure it was targeting JuliaLang/Pkg.jl#2431. :-)

@DilumAluthge DilumAluthge merged commit d0a6b3a into JuliaLang:master May 26, 2021
@DilumAluthge DilumAluthge removed the merge me PR is reviewed. Merge when all tests are passing label May 26, 2021
@DilumAluthgeBot DilumAluthgeBot deleted the BumpStdlibs/Pkg-9f672535 branch May 29, 2021 23:29
shirodkara pushed a commit to shirodkara/julia that referenced this pull request Jun 9, 2021
johanmon pushed a commit to johanmon/julia that referenced this pull request Jul 5, 2021
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