Withdrawn: SKARA-758: Add /check pull request command
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:
> 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.
This pull request has been closed without being integrated.
More information about the skara-dev