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:19:05 UTC 2023


> 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

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

Changes:
  - all: https://git.openjdk.org/skara/pull/1541/files
  - new: https://git.openjdk.org/skara/pull/1541/files/d9e1ccbd..2d73a3d7

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=skara&pr=1541&range=01
 - incr: https://webrevs.openjdk.org/?repo=skara&pr=1541&range=00-01

  Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
  Patch: https://git.openjdk.org/skara/pull/1541.diff
  Fetch: git fetch https://git.openjdk.org/skara.git pull/1541/head:pull/1541

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


More information about the skara-dev mailing list