From: Xavier Maillard <zedek@gnu.org>
Date: Tue, 13 Feb 2007 11:45:40 GMT
Subject: Re: Publishing on a simple HTTP server
Message-ID: <23628.1171367140@localhost>
In-Reply-To: <Pine.LNX.4.63.0702131106230.1300@wbgn013.biozentrum.uni-wuerzburg.de>

Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:

> In that case, please extend your mirror script to run 
> git-update-server-info before mirroring.

I thought this:

git --bare --git-dir=/tmp/my-cloned.git update-server-info

was supposed to achieve this. Doesn't it ?
 
> And if it works, a small description (maybe as a patch for 
> Documentation/howto/?) would be nice.

No problem. I won't forget.

Xavier