Subject: Re: [ANNOUNCE] Git homepage change

From: Adeodato Simó <[email-masked]>
Date: Tue, 6 Jan 2009 10:07:19 +0100

* 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