[Pkg-zsh-devel] Moving zsh git repo from collab-maint to pkg-zsh? + Re: [PATCH] Change the value of $ZSH_PATCHLEVEL.

[Daniel Shahaf]

Hi,

Thanks for applying the patch.

Axel Beckert wrote on Thu, 10 Aug 2017 23:50 +0200:
> So I wonder if we should move the git repository from collab-maint to
> pkg-zsh to easily allow Daniel commit access.

Just to clarify: the path to the repository isn't the issue, the group
ownership is the issue.  A 'chgrp -R' to some group all relevant parties
are members of should suffice, even without changing the canonical URL.

Thanks,

Daniel