Jeff, What about a bot using github's rich REST api that parses PR and automatically sets label/milestone/assignee when a keyword is found ?
for example : PR:milestone=v1.8.4:assignee=jsquyres:label=bug or #milestone=v1.8.4 #assignee=@jsquyres #label=bug i can investigate this way if needed Cheers, Gilles "Jeff Squyres (jsquyres)" <jsquy...@cisco.com> wrote: >Gah. > >I just did some experimentation and confirmed this behavior: > >1. If you do not belong to a repo, you can file issues/pull requests and >comment on them. > >2. If you have *read* access to a repo, you can do everything from #1, but >you're also eligible for @mention auto-complete, and issues/pull requests can >be assigned to you. > >3. If you have *write* access to a repo, you can do everything from #2, but >you can also set labels, milestones, and assignees. > >All the OMPI devs have *read* access to ompi-release, meaning you can >create/comment on issues, but not set labels/milestones/assignees. > >I did not expect this behavior. Grumble. Will have to think about it a bit... > > > > >On Oct 3, 2014, at 7:07 AM, Gilles Gouaillardet ><gilles.gouaillar...@gmail.com> wrote: > >> Jeff, >> >> my point is that label, milestone and assignee are *not* clickable for me >> (see attached snapshot, "settings" icons are missing >> >> Cheers, >> >> Gilles >> >> On Fri, Oct 3, 2014 at 7:36 PM, Jeff Squyres (jsquyres) <jsquy...@cisco.com> >> wrote: >> You can only assign a label and milestone, and assign the PR to someone, >> *after* you create the PR (same with creating issues). >> >> See https://github.com/open-mpi/ompi/wiki/SubmittingBugs for details: >> >> <github-pr-labels.png> >> >> >> >> >> On Oct 2, 2014, at 11:37 PM, Gilles Gouaillardet >> <gilles.gouaillar...@iferc.org> wrote: >> >> >>> Jeff, >>> >>> i could not find how to apply a label to a PR via the web interface (and >>> i am not sure i can even do that since authority might be required) >>> >>> any idea (maybe a special keyword in the comment ...) ? >>> >>> Cheers, >>> >>> Gilles >>> >>> On 2014/10/03 1:53, Jeff Squyres (jsquyres) wrote: >>>> On Oct 2, 2014, at 12:47 PM, Ralph Castain <r...@open-mpi.org> wrote: >>>> >>>>> How are they going to review it, given they don't have authority to do >>>>> anything on that branch? Can they still comment? Can they reassign them >>>>> when done? >>>> Yes, they can comment. >>>> >>>> The idea was that they would apply the "reviewed" label when they have >>>> reviewed it successfully. These "reviewed" labels will then be easily >>>> viewable in the PR listing by the RM/GK to know which ones are ready. >>>> >>> >>> _______________________________________________ >>> devel mailing list >>> de...@open-mpi.org >>> Subscription: http://www.open-mpi.org/mailman/listinfo.cgi/devel >>> Link to this post: >>> http://www.open-mpi.org/community/lists/devel/2014/10/15988.php >> >> >> -- >> Jeff Squyres >> jsquy...@cisco.com >> For corporate legal information go to: >> http://www.cisco.com/web/about/doing_business/legal/cri/ >> >> >> _______________________________________________ >> devel mailing list >> de...@open-mpi.org >> Subscription: http://www.open-mpi.org/mailman/listinfo.cgi/devel >> Link to this post: >> http://www.open-mpi.org/community/lists/devel/2014/10/15990.php >> >> <gh.png>_______________________________________________ >> devel mailing list >> de...@open-mpi.org >> Subscription: http://www.open-mpi.org/mailman/listinfo.cgi/devel >> Link to this post: >> http://www.open-mpi.org/community/lists/devel/2014/10/15992.php > > >-- >Jeff Squyres >jsquy...@cisco.com >For corporate legal information go to: >http://www.cisco.com/web/about/doing_business/legal/cri/ > >_______________________________________________ >devel mailing list >de...@open-mpi.org >Subscription: http://www.open-mpi.org/mailman/listinfo.cgi/devel >Link to this post: >http://www.open-mpi.org/community/lists/devel/2014/10/15995.php