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