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

Post-repo-split work #1

Merged
merged 10 commits into from
Jul 13, 2023
Merged

Post-repo-split work #1

merged 10 commits into from
Jul 13, 2023

Conversation

jplatte
Copy link
Contributor

@jplatte jplatte commented Jul 13, 2023

No description provided.

@jplatte jplatte requested a review from richvdh July 13, 2023 08:57
… the latest release seems buggy.
Copy link
Member

@richvdh richvdh left a comment

Choose a reason for hiding this comment

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

lgtm

@@ -1,6 +1,6 @@
//! Types related to events.

use ruma::events::room::history_visibility::HistoryVisibility as RumaHistoryVisibility;
use matrix_sdk_common::ruma::events::room::history_visibility::HistoryVisibility as RumaHistoryVisibility;
Copy link
Member

Choose a reason for hiding this comment

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

bit surprised about this. Why is using matrix_sdk_common's re-export better than using ruma directly?

Copy link
Contributor Author

@jplatte jplatte Jul 13, 2023

Choose a reason for hiding this comment

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

Don't have to keep versions in sync by hand that way. Especially relevant when we're using a git dependency of Ruma in the SDK (which I hope to change soon-ish, but not exactly high priority as far as EX is concerned).

Copy link
Member

Choose a reason for hiding this comment

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

makes sense, thanks

@jplatte jplatte merged commit efd3e73 into main Jul 13, 2023
3 checks passed
@jplatte jplatte deleted the jplatte/post-split branch July 13, 2023 11:09
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.

2 participants