Skip to content

Conversation

jcogs33
Copy link
Contributor

@jcogs33 jcogs33 commented May 3, 2023

This PR removes hardcoded-jwt-key experimental summary models which are no longer used. These models were originally used in the java/hardcoded-jwt-key experimental query which was promoted in #12032.

(I'm assuming no change note is needed when removing these since they're experimental, but let me know if I'm mistaken).

@github-actions github-actions bot added the Java label May 3, 2023
@jcogs33 jcogs33 added the no-change-note-required This PR does not need a change note label May 3, 2023
@jcogs33 jcogs33 marked this pull request as ready for review May 3, 2023 20:19
@jcogs33 jcogs33 requested a review from a team as a code owner May 3, 2023 20:19
Copy link
Contributor

@egregius313 egregius313 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@jcogs33 jcogs33 merged commit 4e31c46 into github:main May 4, 2023
@jcogs33 jcogs33 deleted the jcogs33/remove-hardcoded-jwt-key-summaries branch May 4, 2023 15:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Java no-change-note-required This PR does not need a change note
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants