Re: [ANNOUNCE] Git homepage change
From: Adeodato Simó <hidden>
Date: 2016-06-15 22:45:52
* Scott Chacon [Mon, 05 Jan 2009 17:49:01 -0800]:
Also, Miklos : your patch changes the format of the output and doesn't speed things up or anything, so I'm just sticking with the current script for now (unless I'm missing something).
-8<-
git log --pretty=short --no-merges | git shortlog -n | grep -v -e '^ ' | grep ':' > ../gitscm/config/authors.txt
data = author.split(' ')
number = data.pop.gsub('(', '').gsub(')', '').chomp
name = data.join(' ')
-8<-
vs
-8<- v2 -8<-
git shortlog --no-merges -sn > ../gitscm/config/authors.txt
if author =~ /(\d+)\s+(.+)/
name, number = $2, $1
-8<-
HTH.
P.S.: And it is a tad faster, yes (not that that should be the primary
criteria).
--
Adeodato Simó dato at net.com.org.es
Debian Developer adeodato at debian.org
The true teacher defends his pupils against his own personal influence.
-- Amos Bronson Alcott