Withdrawn: SKARA-758: Add /check pull request command

Kartik Ohri github.com+27751938+amcap1712 at openjdk.java.net
Wed Jan 6 13:13:17 UTC 2021


On Tue, 17 Nov 2020 05:46:35 GMT, Kartik Ohri <github.com+27751938+amCap1712 at openjdk.org> wrote:

> Hi!
> Kindly review the patch to allow manual execution of jcheck. I think it might be worthwhile to restrict this command to some specific people but I am not sure who that should be (maybe restricting to the author is enough but a reviewer might want to execute it as well in case its urgent). 
> 
> I wanted to test this locally by setting up the skara bots on my own repository but was unable to figure out how to do so due to lack of documentation.
> Thanks.
> Regards,
> Kartik

This pull request has been closed without being integrated.

-------------

PR: https://git.openjdk.java.net/skara/pull/954


More information about the skara-dev mailing list