Out-of-date mirror on GitHub

[Ramkumar Ramachandra <artagnon@xxxxxxxxx>]

Hi,

I think it's nice for every project to have an up-to-date mirror on
GitHub, so contributors can maintain a fork and regularly send patches
upstream (via email in this case).  Unfortunately,
https://github.com/zsh-users/zsh seems to be mirroring
git://zsh.git.sf.net/gitroot/zsh/zsh, when the upstream has moved to
git://git.code.sf.net/p/zsh/code.  I don't know who runs the zsh-users
account, but I'm assuming that they're on this list -- so, could
someone update it?

Thanks.

Ram