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

[Daniel Shahaf]

[replying out of order]

Axel Beckert wrote on Fri, 11 Aug 2017 00:03 +0200:
> 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.
> 
> 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.

It would be nice to keep this feature: I see no reason why there should be
mutual exclusion between myself and non-scm_pkg-zsh-DDs.

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

I ran into this problem last week in collab-maint/devscripts.git, and jrtc27
deployed a fix using setfacl(1).  I haven't had an occasion to push to that
repository since, though, so I haven't tested that fix.

The problem seems to be that repositories under /git/collab-maint are
supposed to be writable both by group Debian and by group scm_collab-
maint, and neither group is a subset of the other, and there's no ACL
set by default; it's not a problem specific to pkg-zsh.git.

Cheers,

Daniel