Version Hash Mismatch

Stream: general

[Rosie Baish]

I just noticed that the commit hash reported by lean/elan doesn't match the version shown for the release on github.
It looks like the github commit is the child of the lean/elan reported commit, so I wonder if there's an off-by-one error or something?

e.g.

$ lean --version
Lean (version 4.0.0, commit 7dbfaf9b7519, Release)
$ elan show
[...]
leanprover/lean4:stable (default)
Lean (version 4.0.0, commit 7dbfaf9b7519, Release)

https://github.com/leanprover/lean4/releases/tag/v4.0.0-m5

(Apologies if this is known about, couldn't see it on github issues)