[Ecls-list] git commit id (fixed)

Juan Jose Garcia-Ripoll juanjose.garciaripoll at googlemail.com
Sun Nov 13 17:53:34 UTC 2011

Until recently, ECL computed a unique identifier corresponding to the git
repository using .git/ORIG_HEAD. It turns out that this is wrong. Now ECL
uses .git/log/HEAD which contains a history of commits. I hope this will
provide a more accurate information when producing bug reports.


Instituto de Física Fundamental, CSIC
c/ Serrano, 113b, Madrid 28006 (Spain)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.common-lisp.net/pipermail/ecl-devel/attachments/20111113/c3b95d61/attachment.html>

More information about the ecl-devel mailing list