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

Index reconstruction #1097

Merged
merged 2 commits into from
Nov 16, 2020
Merged

Index reconstruction #1097

merged 2 commits into from
Nov 16, 2020

Conversation

icristescu
Copy link
Contributor

No description provided.

@icristescu icristescu marked this pull request as draft October 6, 2020 09:47
@icristescu
Copy link
Contributor Author

Changing this to draft, because the index reconstruction in tezos does not work yet (it fails with stack overflow). I'll keep working on this, but if anyone wants to try the tezos branch to test this is here.

@icristescu icristescu force-pushed the index_reconstruct branch 3 times, most recently from 5b6397f to 0bdaee4 Compare October 7, 2020 07:11
@icristescu icristescu changed the title Index reconstruct Index reconstruction Oct 7, 2020
@icristescu icristescu marked this pull request as ready for review October 7, 2020 07:21
@icristescu icristescu force-pushed the index_reconstruct branch 2 times, most recently from 28eee29 to bc0142c Compare November 6, 2020 09:27
@craigfe
Copy link
Member

craigfe commented Nov 16, 2020

I've rebased this branch; now looking at integrating it with irmin-fsck. @icristescu, is there anything to block this from being merged?

@icristescu
Copy link
Contributor Author

I've rebased this branch; now looking at integrating it with irmin-fsck. @icristescu, is there anything to block this from being merged?

it's good for me 👍

Copy link
Member

@craigfe craigfe left a comment

Choose a reason for hiding this comment

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

Will merge once the CI is passing.

@craigfe craigfe merged commit a057009 into mirage:master Nov 16, 2020
@icristescu icristescu deleted the index_reconstruct branch November 16, 2020 16:14
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