-
-
Notifications
You must be signed in to change notification settings - Fork 1
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
Moving rand_distr code from rand repository #1
Comments
As an alternative for copying the code we can take the git history of rand and remove all the non rand_distr code. This will keep all the attributions but also a lot of unrelated commits. |
Thanks for getting started on this. We should aim to keep history: https://stackoverflow.com/a/17864475/314345 The |
It seems not straight forward how to do this with multiple directories. Do you have experience with this? If not I can probably figure something out. Right now I have: Split the 3 directories we want to keep ( This seems to retain all the commits. After splitting rand_distr I only have 300 commits which seems good. |
It seems splitting out |
Maybe move |
This does work, not sure why the splitting of |
That would only retain history related to It looks like what you just pushed is a rebase of sorts? Compare b0bd0f7 to rust-random/rand@e06370c and notice that the changes to |
I repeated what you did — it seems that |
I have a filtered history. You haven't pushed much here so far — can I overwrite it? |
If you find a better solution it would be nice. I think the move first option is good enough. It is fine if you force push to main right now. |
Done. We now have I didn't move anything yet — I'll make a PR for that now. |
Look good :) |
I ticked off some items above. I think once #3 is merged we can make this public, and then start tidying up the |
I agree |
We're now public. |
I transferred what I thought were appropriate issues. rust-random/rand#1193 and rust-random/rand#1459 are less obvious. |
To-Do for rust-random/rand#1394
I hope it is ok that I went ahead and created the repo, it is private right now, at some point we have to
The text was updated successfully, but these errors were encountered: