On 2017-12-20 17:28, Vadim A. Misbakh-Soloviov wrote: > 2) Although, all the ways to check it would be too hard for your purpose.
Well, "git log" still works in a bare repo, right? It is true that it would be necessary to do it in each subtree of git3-src, and remember the result somehow. -- Please don't Cc: me privately on mailing lists and Usenet, if you also post the followup to the list or newsgroup. To reply privately _only_ on Usenet, fetch the TXT record for the domain.