Integrated: 1984: SKARA bot couldn't handle jep command if the jep doesn't have JEP Number

[Zhao Song]

On Wed, 2 Aug 2023 21:27:13 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.

This pull request has now been integrated.

Changeset: 57610580
Author:    Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/576105808ccf1b000906a026d0a1148121db02b4
Stats:     63 lines in 3 files changed: 57 ins; 0 del; 6 mod

1984: SKARA bot couldn't handle jep command if the jep doesn't have JEP Number

Reviewed-by: kcr

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

PR: https://git.openjdk.org/skara/pull/1541