From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 13 Feb 2007 11:57:40 GMT
Subject: Re: Publishing on a simple HTTP server
Message-ID: <Pine.LNX.4.63.0702131256430.22628@wbgn013.biozentrum.uni-wuerzburg.de>
In-Reply-To: <23628.1171367140@localhost>

Hi,

On Tue, 13 Feb 2007, Xavier Maillard wrote:

> 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 ?

If you mirror /tmp/my-cloned.git to the HTTP server, then yes, this should 
do it. Make sure that /tmp/my-cloned.git/info/refs is really updated and 
mirrored out, though.

Hth,
Dscho