lake update always re-clones packages

Stream: new members

[JJ]

Every time I run lake update, I am prompted with the following:

info: LeanSearchClient: URL has changed; deleting '/home/apropos/Projects/lean/analysis/analysis/.lake/packages/LeanSearchClient' and cloning again
info: LeanSearchClient: cloning https://github.com/leanprover-community/LeanSearchClient
info: LeanSearchClient: checking out revision '99657ad92e23804e279f77ea6dbdeebaa1317b98'
info: Canonical: URL has changed; deleting '/home/apropos/Projects/lean/analysis/analysis/.lake/packages/Canonical' and cloning again
info: Canonical: cloning https://github.com/chasenorman/CanonicalLean
info: Canonical: checking out revision '062f62a0bc9aeb4fe9a747fdb7b1aa568d08596c'
info: subverso: URL has changed; deleting '/home/apropos/Projects/lean/analysis/analysis/.lake/packages/subverso' and cloning again
info: subverso: cloning https://github.com/leanprover/subverso
info: subverso: checking out revision '597aa7f6d1d4bc22c5bdef797797497b10bea1f4'
info: mathlib: URL has changed; deleting '/home/apropos/Projects/lean/analysis/analysis/.lake/packages/mathlib' and cloning again
info: mathlib: cloning https://github.com/leanprover-community/mathlib4.git
info: mathlib: checking out revision '308445d7985027f538e281e18df29ca16ede2ba3'
warning: toolchain not updated; multiple toolchain candidates:
  leanprover/lean4:v4.21.0
    from Analysis
  leanprover/lean4:4.0.0
    from subverso
warning: subverso: ignoring missing manifest '/home/apropos/Projects/lean/analysis/analysis/.lake/packages/subverso/lake-manifest.json'
...

Is this "URL has changed" stuff normal? I do not know why Lake seems to be re-cloning my packages.

[Asei Inoue]

@Mac Malone I think you are woking on lake?

[Mac Malone]

I am not sure what the problem is. There was an old issue with this, and that is an old version of Lean, so perhaps this would be fixed on the latest Lean? Or it could be something else. In general, the URL changed message should only occur when the URL of the package (either the GIt URL specified in the confgiuration or theone fetched from Reservoir) has actually changed.

[JJ]

This was a while ago on an older project. When I get back to it, if it is still an issue after updating, I'll put something here.