Closed stlava closed 1 month ago
This issue has been stale for 60 days and will be closed automatically in 7 days. Comment to keep it open.
Hi, any updates? We run into the same race condition and it would be very sad if we wouldn't find one to cherry pick the contributions.
Question.
I found that a few PRs made back in 2022 were merged into
master
instead ofmain
and now the two histories (and versions) differ. I didn't piece the timeline together but what I assume happened was a few PRs were opened againstmaster
and the repo changed default branches.Specifically a race condition fixed in https://github.com/dgraph-io/ristretto/pull/294 got merged into
master
and never made it tomain
.The way I found this was a project I'm working on uses
v0.0.0-20220403145359-8e850b710d6d
and I had trouble finding that hash version until it occurred to check themaster
branch which may have been default at the time.