Yank ProgressMeterLogging.jl

[tkf]

close #4917

As I mentioned in #4917, I renamed ProgressMeterLogging.jl to ConsoleProgressMonitor.jl so I would like to make ProgressMeterLogging.jl uninstallable. From the discussion in #4917, it seems yanking is the best approach, IIUC.

[fredrikekre]

Have you tried out what happens? I have only tested yanking when there were other releases left.

[tkf]

So it seems that this breaks resolve (which I expected to work):

$ cd $(mktemp -d)
...

$ jlpkg --project=. add ProgressMeterLogging
...

$ git checkout tkf/patch-1
...

$ jlpkg --project=. resolve
 Resolving package versions...
ResolverError: Unsatisfiable requirements detected for package ProgressMeterLogging [b0e84e9e]:
 ProgressMeterLogging [b0e84e9e] log:
 ├─ProgressMeterLogging [b0e84e9e] has no known versions!
 └─restricted to versions 0.1.0 by an explicit requirement — no versions left

Instantiation works, though:

$ mkdir -p depot/registries

$ ln -s ~/.julia/registries/General depot/registries

$ JULIA_DEPOT_PATH=$PWD/depot jlpkg --project=. instantiate
 Installed LoggingExtras ──────── v0.3.0
 Installed ProgressMeter ──────── v1.1.0
 Installed ProgressMeterLogging ─ v0.1.0

$ ls depot/packages
LoggingExtras  ProgressMeter  ProgressMeterLogging

[fredrikekre]

Ok, I feel like that should maybe work. Can you open an issue on Pkg?

[tkf]

I opened an issue in Pkg.jl. I'll close this as it's not super important compared to the possibility of breaking things in older julia/Pkg (even though I guess this won't happen in practice).