On Mon, May 20, 2019 at 04:26:45PM +0200, Andreas Schwab wrote: > On Mai 20 2019, Florian Weimer <fwei...@redhat.com> wrote: > > > If GCC policy is to reject merge commits, a command similar to > > “git log --pretty=oneline | wc -l” gives something that is very > > git rev-list HEAD | wc -l
That is still in the 1.3 seconds range, git rev-list --count HEAD | wc -l is in the 1 seconds range user time. Jakub