On Tue, 21 Jul 2020 at 20:39, Mikael Magnusson <mikachu@gmail.com> wrote:

> There are already mirrors on github, for example
> https://github.com/zsh-users/zsh


Thx for the update. It would be nice to add that info to zsh web page :)

What about make that repo as not only mirror but main on and enable
submitting issue tickets?

kloczek
-- 
Tomasz Kłoczko | LinkedIn: http://lnkd.in/FXPWxH