Re: Publishing on a simple HTTP server
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Feb 13, 2007, 11:57 UTC
- 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:
Show 10 quoted lines
> 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