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

1.gko....n.gko Files merge to n+1.gko #204

Open
diagoo opened this issue Aug 3, 2020 · 2 comments
Open

1.gko....n.gko Files merge to n+1.gko #204

diagoo opened this issue Aug 3, 2020 · 2 comments
Labels
feature proposal Idea for a feature or improvement, pending approval.

Comments

@diagoo
Copy link

diagoo commented Aug 3, 2020

Merge multiple files into one file

@diagoo diagoo added the feature proposal Idea for a feature or improvement, pending approval. label Aug 3, 2020
@brainchild0
Copy link

How would this idea work in practice? Tree merging is underdefined in general. In principle one could build a new tree by creating a root node with the children being the sequence of input documents given for the merge. It may not be obvious, however, whether this algorithm, or another, is most natural for whatever use case one might consider.

@diagoo
Copy link
Author

diagoo commented Aug 16, 2020 via email

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature proposal Idea for a feature or improvement, pending approval.
Projects
None yet
Development

No branches or pull requests

2 participants