CONTRIBUTING.md is unclear about standard library about julia HOT 10 OPEN

Based on your experience, do you have a set of instructions that you can provide in a PR to CONTRIBUTING.md?

from julia.

I wouldn't do a PR here since I don't understand what is going on. I just think it would be helpful to clarify the status of LinearAlgebra and what instructions apply to it. Apparently it is part of the standard library, but one should use instead the instructions in the section "contributing to the core functionality or base libraries".

from julia.

Sounds like we should try to clarify here the list of stdlibs that can be upgraded that way (e.g. make print-STDLIBS_WITHIN_SYSIMG), and those that cannot? as well as those that are in a separate repo (and can use USE_DEPS=<names> in Make.user) vs those that are edited directly here?

from julia.

To make matters more confusing LinearAlgebra appears to be in a separate repository at first sight, but on closer inspection one sees that it's a zombie repository.

from julia.

It was an attempt to separate, but there was an issue running the CI. We should probably delete it.

@KristofferC Can we delete the old LinearAlgebra repo?

from julia.

Can we delete the old LinearAlgebra repo?

Or add a deprecation note and archive it.

from julia.

I was looking at it, and couldn't tell if we needed to migrate the issues from it here first or just archive it

from julia.

I have migrated the issues and archived it. If @KristofferC is ok with it, we can go ahead and delete it.

Separately, we may want to try and separate out LinearAlgebra again. IIRC, github gave us for free xlarge runners on the JuliaLang org, and that may be sufficient to get LinearAlgebra tests running.

from julia.

Yeah, we can delete it for now. It's just confusing having it exist at this point and I don't think there is much value in it, easier to recreate it from scratch at some later point.

from julia.

Hid a side-conversation about LinearAlgebra having a separate repo, since the resolution was that we deleted it now, and it detracts from the main conversation here about docs

from julia.