Re: [jaxrs-dev] The role of the assignee field in Github

[Santiago Pericas-Geertsen <santiago.pericasgeertsen@xxxxxxxxxx>]

Hi Markus,

 I was in the process of cleaning up the branches as we agreed, and wanted to push those PR’s with enough votes. 

 However, in general, I don’t mind if a different committer pushes a PR with enough votes according to our rules.

— Santiago

On Mar 12, 2018, at 2:06 PM, Markus KARG <markus@xxxxxxxxxxxxxxx> wrote:

Hello Committers,

 

as recently one of the PRs assigned to me was merged by a different commiter, I would like to suggest that we agree on respecting the assignee field of Github.

 

In Github it serves for being an organizational tool which committer actively manages an issue or a PR, i. e. who drives the discussion, who checks for IP and formal issues, and who finally will do the merge. So no two committers will do the same background work etc.

 

What do you think?

 

-Markus

_______________________________________________
jaxrs-dev mailing list
jaxrs-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/jaxrs-dev