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

[Axel Beckert]

Hi Daniel,

Daniel Shahaf wrote:
> 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.

Yes and no. Since we can't change the (IIRC enforced) permissions of
any collab-maint repo, the path is the actual issue.

Besides: The primary feature of collab-maint repos is that all DDs
have write access, so changing the group of such a repo would remove
that feature from a collab-maint repo which makes it loose its reason
why it has been placed under collab-maint in the first run.

		Regards, Axel
-- 
 ,''`.  |  Axel Beckert <abe at debian.org>, http://people.debian.org/~abe/
: :' :  |  Debian Developer, ftp.ch.debian.org Admin
`. `'   |  4096R: 2517 B724 C5F6 CA99 5329  6E61 2FF9 CD59 6126 16B5
  `-    |  1024D: F067 EA27 26B9 C3FC 1486  202E C09E 1D89 9593 0EDE