Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Drop kprovex script #2622

Merged
merged 1 commit into from
Jun 24, 2022
Merged

Drop kprovex script #2622

merged 1 commit into from
Jun 24, 2022

Conversation

Baltoli
Copy link
Contributor

@Baltoli Baltoli commented May 25, 2022

This PR is the final step in the kprovex renaming process; once it is merged, downstream projects will no longer be able to call kprovex.

@Baltoli
Copy link
Contributor Author

Baltoli commented May 25, 2022 •
edited
Loading

Downstream semantics / projects that need to be updated:

@Baltoli Baltoli marked this pull request as ready for review June 23, 2022 10:15
@Baltoli Baltoli requested review from radumereuta and ehildenb June 23, 2022 10:15
@rv-jenkins rv-jenkins merged commit c70da06 into master Jun 24, 2022
@rv-jenkins rv-jenkins deleted the drop-kprovex branch June 24, 2022 00:42
@radumereuta radumereuta mentioned this pull request Jun 27, 2022
Closed
5 tasks
@radumereuta radumereuta mentioned this pull request Aug 5, 2022
Closed
5 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@radumereuta radumereuta radumereuta approved these changes

@ehildenb ehildenb Awaiting requested review from ehildenb

Assignees
No one assigned
Labels
automerge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@Baltoli @radumereuta @rv-jenkins