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

[AUTO-MERGE] Merge main into develop via merge-main-to-develop #3249

Merged
merged 3 commits into from
Oct 31, 2023

Conversation

idanov
Copy link
Member

@idanov idanov commented Oct 31, 2023

A new change in main cannot be merged into develop as part of the regular sync job, hence this PR. Please resolve the conflicts manually, and make sure to obtain 2 approvals once the builds pass.

IMPORTANT NOTICE

Please let CircleCI merge this PR automatically, with merge commit enabled.

adamkells and others added 2 commits October 30, 2023 12:04
* Update spaceflights files at notebook-example data

Signed-off-by: Laiza Parizotto <[email protected]>

* Remove drop_duplicates from data_preprocessing

Signed-off-by: Laiza Parizotto <[email protected]>

* change from DataSet -> Dataset

Signed-off-by: Nok <[email protected]>

* Update contribution at RELEASE.md

Signed-off-by: Laiza Parizotto <[email protected]>

---------

Signed-off-by: Laiza Parizotto <[email protected]>
Signed-off-by: Nok <[email protected]>
Co-authored-by: Nok <[email protected]>
@merelcht merelcht requested review from noklam, DimedS, SajidAlamQB, AhdraMeraliQB, ankatiyar and lrcouto and removed request for yetudada October 31, 2023 10:29
@idanov idanov merged commit c8456e4 into develop Oct 31, 2023
@idanov idanov deleted the merge-main-to-develop branch October 31, 2023 11:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants