On Mon, May 20, 2019 at 04:26:45PM +0200, Andreas Schwab wrote: > On Mai 20 2019, Florian Weimer <[email protected]> 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
