Santiago, I just wanted to ask in general if we want to use this field or not, because I just used it, but we had no discussion about this before. -Markus From: jaxrs-dev-bounces@xxxxxxxxxxx [mailto:jaxrs-dev-bounces@xxxxxxxxxxx] On Behalf Of Santiago Pericas-Geertsen Sent: Montag, 12. März 2018 19:17 To: jaxrs developer discussions Subject: Re: [jaxrs-dev] The role of the assignee field in Github 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.
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. _______________________________________________ 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 |