RFR: 1984: SKARA bot couldn't handle jep command if the jep doesn't have JEP Number [v2]
Zhao Song
zsong at openjdk.org
Wed Aug 2 22:34:58 UTC 2023
On Wed, 2 Aug 2023 22:19:05 GMT, Zhao Song <zsong at openjdk.org> wrote:
>> A user issued command /jep JDK-8310626 in https://github.com/openjdk/jdk/pull/15103 and skara bot kept throwing exceptions because the JEP doesn't have a JEP number.
>>
>> @kevinrushforth suggested that it makes more sense to make skara bot be able to associate a PR with a JEP before it is a Candidate.
>
> Zhao Song has updated the pull request incrementally with one additional commit since the last revision:
>
> update
Thanks for the review!
-------------
PR Comment: https://git.openjdk.org/skara/pull/1541#issuecomment-1663056708
More information about the skara-dev
mailing list