[webkit-dev] Repository changes on git.webkit.org

[Mark Rowe]

On 09/11/2007, at 06:18, Mike Hommey wrote:

> On Fri, Nov 09, 2007 at 05:41:19AM +1100, Mark Rowe wrote:
>> Hi all,
>>
>> If you're using our Git repository mirror hosted on git.webkit.org,  
>> please
>> be aware of the following:
>>
>> git://git.webkit.org/WebKit.git
>> will be moving to:
>> git://git.webkit.org/WebKit-ssh.git
>
> Does this mean WebKit.git is going to change to something else in
> the future ?

Yes.  My email about the Subversion and Trac downtime hints at the  
reason for this change.  git-svn made a somewhat poor design choice  
and stored the repository URL in every commit message, and relies on  
these URLs matching the one that is configured in .git/config.  As we  
are changing SVN URLs we need to rebuild the git repository to match.   
This has the unfortunate side-effect of changing the commit IDs  
throughout the history of the repository.  We hope to provide more  
information on how people can switch to the new git repository once it  
is in place later this week.

- Mark