"HEAD" is not a valid commit!

[Rachael]

If you are self-compiling and reporting bugs, please post the commit hash.

If you are unsure, simply type "git describe --tags" in your source tree. Or type "git rev-parse HEAD". If using a devbuild, simply open your INI and copy the first line.

Use whichever format you like best. Either way though, don't use "HEAD".

[_mental_]

The same applies to "latest", "current", "March 13th", and so on. A commit time has nothing to do with a push time, they are unrelated.
Commit hashes exist for this reason, to uniquely identify the state of source code.
You want to point to a particular commit, post a hash, or better insert a GitHub link to it.