[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: git archive no longer being updated?

From: Andreas Schwab
Subject: Re: git archive no longer being updated?
Date: Sat, 09 Jan 2010 17:23:26 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/23.1.91 (gnu/linux)

Miles Bader <address@hidden> writes:

> Andreas Schwab <address@hidden> writes:
>>> ["master" is cloned from savannah
>> Savannah is old.
> I know, but that's not the cause of the difference.

It is.  The bazaar repo is now the master, and the git mirror on
repo.or.cz mirrors it exactly.  The tree on savannah is obsolete.


Andreas Schwab, address@hidden
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."

reply via email to

[Prev in Thread] Current Thread [Next in Thread]