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.

Sign up for GitHub

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

Jump to bottom

partial clone / fetch #38

Open
samoht opened this issue Apr 8, 2014 · 0 comments
Open

partial clone / fetch #38

samoht opened this issue Apr 8, 2014 · 0 comments
Labels
area/core About Irmin-core type/feature Introduce a new feature

Comments

@samoht
Copy link
Member

samoht commented Apr 8, 2014

Would be good to have a way to query a remote database for a partial state:

  • clone the subtree under a/b/
  • pull everything matching a/b/*.txt
  • ...
@samoht samoht modified the milestone: Next Jan 5, 2015
@samoht samoht removed this from the Next milestone Dec 8, 2020
@icristescu icristescu added area/core About Irmin-core and removed design labels Jan 7, 2022
@maiste maiste added do-not-merge Do not merge this PR unschedule and removed do-not-merge Do not merge this PR unschedule labels Feb 3, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area/core About Irmin-core type/feature Introduce a new feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@samoht @icristescu @maiste