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.

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

checkpoint: into main from release/1.8.2 @ ca63959ff00a124290ef5d072e2e59ed81abf50b #15579

Conversation

AmineKhaldi
Copy link
Contributor

Source hash: ca63959
Remaining commits: 4

wallentx and others added 2 commits June 15, 2023 16:42
@AmineKhaldi AmineKhaldi requested a review from a team as a code owner June 21, 2023 20:23
@AmineKhaldi AmineKhaldi added checkpoint_merge Changed Required label for PR that categorizes merge commit message as "Changed" for changelog labels Jun 21, 2023
@AmineKhaldi AmineKhaldi requested review from altendky and emlowe June 21, 2023 20:23
@wallentx wallentx merged commit 2d437c6 into main Jun 21, 2023
@wallentx wallentx deleted the checkpoint/main_from_release_1.8.2_ca63959ff00a124290ef5d072e2e59ed81abf50b branch June 21, 2023 23:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Changed Required label for PR that categorizes merge commit message as "Changed" for changelog checkpoint_merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants