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

2007-11-08 Thread Mike Hommey
On Fri, Nov 09, 2007 at 07:56:56AM +1100, Mark Rowe wrote: >> Then you can keep your current git repo without any problem. >> >> You just need to change the svn url and add noMetadata = true in >> [svn-remote] > > > From http://www.kernel.org/pub/software/scm/git/docs/git-svn.html: > >> svn-remote

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

2007-11-08 Thread Mark Rowe
On 09/11/2007, at 07:45, Mike Hommey wrote: On Fri, Nov 09, 2007 at 06:26:48AM +1100, Mark Rowe wrote: 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 messa

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

2007-11-08 Thread Mike Hommey
On Fri, Nov 09, 2007 at 06:26:48AM +1100, Mark Rowe wrote: > > 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 followin

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

2007-11-08 Thread 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/WebK

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

2007-11-08 Thread Mike Hommey
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

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

2007-11-08 Thread Mark Rowe
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 This change will be happening later today. You will want to run the following command in any