Skip to content

Conversation

@keertk
Copy link
Member

@keertk keertk commented Jul 11, 2023

@keertk keertk marked this pull request as ready for review July 13, 2023 12:28
@github-actions github-actions bot added the awaiting-review PR is awaiting review from an assigned reviewer label Jul 13, 2023
@keertk keertk added team-Rules-Java Issues for Java rules awaiting-review PR is awaiting review from an assigned reviewer and removed awaiting-review PR is awaiting review from an assigned reviewer labels Jul 13, 2023
@keertk keertk requested review from Wyverald and hvadehra July 13, 2023 13:00
@keertk keertk changed the title Update java_tools v12.5 Update java_tools v12.5 / rules_java 6.2.2 Jul 13, 2023
@hvadehra hvadehra added awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally and removed awaiting-review PR is awaiting review from an assigned reviewer labels Jul 14, 2023
@github-actions github-actions bot removed the awaiting-PR-merge PR has been approved by a reviewer and is ready to be merge internally label Jul 17, 2023
@keertk keertk deleted the keertk-java_tools-v12.5 branch November 21, 2023 18:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

team-Rules-Java Issues for Java rules

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants