2017-06-09 12:37 GMT+02:00 Enrico Olivelli <eolive...@gmail.com>: > 2017-06-09 12:25 GMT+02:00 Enrico Olivelli <eolive...@gmail.com>: >> >> >> Il ven 9 giu 2017, 12:04 Sijie Guo <guosi...@gmail.com> ha scritto: >>> >>> On Fri, Jun 9, 2017 at 1:51 AM, Enrico Olivelli <eolive...@gmail.com> >>> wrote: >>> >>> > Hi, >>> > I would like to ask infra permissions to edit pull requests of other >>> > users, at least "close"/"reopen" to force automatic QA. >>> > >>> >>> You can manually trigger the pre-commit job to build a specific pull >>> request. There is one parameter and an example when you try to build it >>> with parameters. >> >> >> I will check. Do you mean that this parameter is in jenkins web ui? > > Got it > > you have to click on "rebuild" and then write the ref like: > > pull/183/head
actually syntax is origin/pr/183/head as the example tells on the web ui thanks -- Enrico > > it is correct ? > >>> >>> >>> >>> > >>> > We have a short backlog of PR QA builds so after some time it is not >>> > possible to see old tests results >>> >>> >>> > Maybe this permission can be extended automatically to every committer >>> > of the project. >>> > >>> > I think that not every of us (committers) has bound his github account >>> > to the apache id, in fact when you are "linked" in the comments on PRs >>> > you are listed as "member", otherwise as "contributor") >>> > >>> >>> I think it is fine. There is no much difference between "member" and >>> "contributor". It is a preference up to the committers themselves. >>> >>> >>> > >>> > Thoughts ? >>> > >>> > Enrico >>> > >> >> -- >> >> >> -- Enrico Olivelli
