On Fri, Mar 01, 2013 at 02:16:29PM +0100, Frank Terbeck wrote:
> Great!   I'd vote for sooner rather than later, now. ;)
>
> Thoughts?

Hello,

Has the switch already happened? There are a few commits in the
new Git repository [1] which aren't in the old one [2], so I'm
not sure.

If yes, I'll update the website to remove the CVS parts and
update the Git instructions. And I think we should add the URL of
the Git repository to `Etc/zsh-development-guide`.

As was already mentioned, the web repository should also be
migrated.

Btw. is there a public list of all Zsh Git repositories on
Sourceforge available?

Would it be possible to keep the old Git repository [2] in sync
with the new one, at least for a while? This would help people
which only use the old one. And when discontinuing it maybe push
a commit mentioning the switch to make sure everybody knows.

Regards,
Simon

[1]: ssh://git.code.sf.net/p/zsh/code
[2]: git://zsh.git.sf.net/gitroot/zsh/zsh
-- 
+ privacy is necessary
+ using gnupg http://gnupg.org
+ public key id: 0x92FEFDB7E44C32F9