Re: [ANNOUNCE] Git homepage change

From: Adeodato Simó <dato@net.com.org.es>
Date: Jan 6, 2009, 09:07 UTC
Message-ID: <20090106090719.GA25609@chistera.yi.org>
In-Reply-To: <d411cc4a0901051749p2ef880bub45bba1c0d41bfc7@mail.gmail.com>

* 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