Obtain git revision of the compiler

Stream: lean4

[Henrik Böving]

Is it possible right now to obtain the git commit the compiler was built with? The reason I'm asking is that I would like to link to the proper source locations for the Init, Std and Lean package in doc-gen4. I grepped around in the compiler for a bit but couldn't find anything that sounded like what I wanted sadly

[Mac]

@Henrik Böving Lean.githash.

[Mac]

(or lean --githash in the CLI interface.)

[Henrik Böving]

Hmm why didnt I find this :sweat_smile:, thanks!