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

Fix broken data format #144

Merged
merged 5 commits into from
Mar 11, 2022
Merged

Fix broken data format #144

merged 5 commits into from
Mar 11, 2022

Conversation

boxdot
Copy link
Owner

@boxdot boxdot commented Mar 10, 2022

Variants were renamed, and now old json cannot be deserialized
anymore.

Variants were renamed, and now old json cannot be deserialized
anymore.
@Sup3Legacy
Copy link
Contributor

Thanks for that. Just a quick notice: By moving the Nothing variant, you have changed its order (it has become the Top in the total ordering over Receipt while it was the Bot). Is there a reason to do so?

@boxdot
Copy link
Owner Author

boxdot commented Mar 10, 2022 via email

@Sup3Legacy
Copy link
Contributor

Okay, makes sense, thanks for the explanation.

Now we resolve user names from the synced address book, if possible.
We fallback to the profile name, if contact is not in the address
book. And eventually to contacts phone number, if profile retrieval
failed.

The contacts are synced on start-up of the app, however max one time
per hour.

Resolved #140
This reverts commit 049ca91.
@boxdot boxdot merged commit ac0b78b into master Mar 11, 2022
@boxdot boxdot deleted the fix-broken-data-format branch March 11, 2022 21:36
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