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

Encode ids in mvreg #41

Merged
merged 1 commit into from
Aug 18, 2019
Merged

Conversation

jimpick
Copy link
Member

@jimpick jimpick commented May 28, 2019

Peer-base uses Buffers for ids, which were getting serialized in
strange ways so the mvreg CRDT wasn't converging when syncing.

See: peer-base/peer-base#287

This fix encodes the ids to strings, using a similar method as what
is used in the rga type.

Peer-base uses Buffers for ids, which were getting serialized in
strange ways so the mvreg CRDT wasn't converging when syncing.

See: peer-base/peer-base#287

This fix encodes the ids to strings, using a similar method as what
is used in the rga type.
Copy link
Collaborator

@pgte pgte left a comment

Choose a reason for hiding this comment

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

Good catch, LGTM!

@pgte
Copy link
Collaborator

pgte commented Aug 17, 2019

@jimpick could you get the CI green?

@jimpick
Copy link
Member Author

jimpick commented Aug 17, 2019

Seems like it was an old failure due to npm dependencies ... I re-ran the tests and it passed.

@pgte
Copy link
Collaborator

pgte commented Aug 18, 2019

BTW, I don't have merge rights, but this LGTM

@jimpick jimpick merged commit 82889b0 into peer-base:master Aug 18, 2019
@jimpick
Copy link
Member Author

jimpick commented Aug 18, 2019

Okay, I merged it. I think the permissions are definitely screwy now.

Do you plan to keep maintaining this one?

I'll request collaborator access on this repo from IT, and then I can add you back.

@pgte
Copy link
Collaborator

pgte commented Aug 19, 2019

@jimpick yes, no worries, I can keep maintaining this.

@jimpick
Copy link
Member Author

jimpick commented Aug 19, 2019

Excellent! I'm trying to get added as a collaborator, then theoretically I can add you back on as well.

@jimpick
Copy link
Member Author

jimpick commented Aug 26, 2019

I tracked down admin rights, and added @pgte back in as an admin collaborator.

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.

None yet

2 participants