On 14.11.2013 15:29, Howard Trickey wrote: > It would be nice if this were printable with some command-line tool or is > just printed as part of the output when pushing to the repository. In git, this is the first seven hex digits of the commit hash usually. regards, jw