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

git: avoid re-fetching the same branch #65

Closed
favonia opened this issue Sep 28, 2022 · 2 comments
Closed

git: avoid re-fetching the same branch #65

favonia opened this issue Sep 28, 2022 · 2 comments
Milestone
not planned

Comments

@favonia
Copy link
Collaborator

favonia commented Sep 28, 2022 •
edited
Loading

idea: let's just have different copies!
@favonia favonia added this to the 0.1.0 milestone Nov 27, 2022
@favonia
Copy link
Collaborator Author

favonia commented Jan 1, 2023

This is more difficult than it seems. It is annoying to get the commit hash of a remote branch or tag without downloading the data. Therefore, a stricter policy that treats different tags and branches as different libraries would be easier.

@favonia favonia modified the milestones: 0.1.0, 0.2.0, far away Aug 30, 2023
@favonia favonia modified the milestones: far away, not planned Nov 14, 2023
@favonia
Copy link
Collaborator Author

favonia commented Nov 14, 2023

not planned now

@favonia favonia closed this as not planned Won't fix, can't repro, duplicate, stale Nov 14, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
not planned
Development

No branches or pull requests
1 participant
@favonia