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/2.0.3 @ 2ff03d5eeb5db46d8740ae3568662be44535a780 #401

Conversation

AmineKhaldi
Copy link
Contributor

Source hash: 2ff03d5
Remaining commits: 1

wallentx and others added 2 commits September 25, 2023 13:32
…nt/main_from_release_2.0.3_2ff03d5eeb5db46d8740ae3568662be44535a780
@AmineKhaldi AmineKhaldi added checkpoint_merge Changed Required label for PR that categorizes merge commit message as "Changed" for changelog labels Oct 4, 2023
@AmineKhaldi AmineKhaldi requested review from altendky and emlowe October 4, 2023 15:54
Copy link
Contributor

@emlowe emlowe left a comment

Choose a reason for hiding this comment

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

Was initially confused about the rc version, but I see there is 1 remaining commit to checkpoint

@cmmarslender cmmarslender merged commit 26a835d into main Oct 21, 2023
32 checks passed
@cmmarslender cmmarslender deleted the checkpoint/main_from_release_2.0.3_2ff03d5eeb5db46d8740ae3568662be44535a780 branch October 21, 2023 00:55
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.

5 participants