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

Clone rather than edit #576

Open
UnimelbLachlan opened this issue Jul 4, 2024 · 0 comments
Open

Clone rather than edit #576

UnimelbLachlan opened this issue Jul 4, 2024 · 0 comments

Comments

@UnimelbLachlan
Copy link

Please introduce a mode that performs a fresh clone, and then filters the fresh clone, rather than editing in-place.

The advantages are:

  1. This is more reliable than using heuristics to check that this is a fresh clone
  2. Users doesn't have to perform a compulsory step first (possibly incorrectly, if --no-local was omitted, like I just did).
  3. It allows for optimisation: rather than doing a complete clone and then deleting, it would be possible in future simply to create the requested files in the clone process and omit all others. This doesn't have to be implemented yet.
  4. It gets people out of the mindset of "it is OK to modify a repo" (which goes against the spirit of version control) into the mindset of "Let's create a new repo based on an old one" which is totally legitimate.
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

No branches or pull requests

1 participant