You're not really correlating a PR, but a commit. I don't have a better way than you are doing. In the case for the 3 PRs I merged - I merged them into a branch beforehand, reviewed them, and run a full build here (which was green).
Jon On Tue, Feb 26, 2019 at 3:49 PM César Hernández Mendoza < [email protected]> wrote: > Thank you, Jonathan, > > How is the effective way to correlate a PR that was merged with a > buildbot results? > > The way I'm doing it is the following and it feels to manual: > 1) check the last commit for example from this PR: > https://github.com/apache/tomee/pull/370 , that would be: 50eefba > 2) Open on a browser: > https://ci.apache.org/builders/tomee-trunk-ubuntu-jvm8?numbuilds=100 > (notice that I'm adding the ?numbuilds=100 to present a nice amount of > builds) > 3) If I search on the browser for the `50eefba` I do'nt have success, so I > need to start opening from top to button each of the builds from the column > "Build #" and then search again for `50eefba`. > > > > El mar., 26 feb. 2019 a las 5:38, Jonathan Gallimore (< > [email protected]>) escribió: > > > Just a heads up that I merged in a couple of PRs from Doychin and Otavio. > > They were green here, but I'll keep an eye on the build. > > > > Jon > > > > > -- > Atentamente: > César Hernández Mendoza. >
