Get Mathlib githash

Stream: Is there code for X?

[Utensil Song]

Is there a way to get Mathlib githash like docs#Lean.githash from Lean? Or a version. Thanks!

[Utensil Song]

Except for using git or parsing the manifest, but if there's a well established practice for them, it would also be nice.

[Utensil Song]

To #xy, the use case is to figure out the exact Mathlib in use from Lean, so even if olean lost sync with the manifest or lean git checkout, it's still detectable.