-
-
Notifications
You must be signed in to change notification settings - Fork 4.4k
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
Removed FuzzyTM dependency from setup.py #3424
Conversation
This PR seems huge – didn't we want to just remove one line from |
Sorry, I thought that's what I did. I will aim to do it again today. |
I'm not sure why, but it seems that previous commits are part of this PR too. Shall I close this PR and start a new one? |
@ERijck I think you are reusing an old branch |
Looking at this from the outside: I think the PR got merged (into Normally you abandon (often delete it entirely) the PR branch after merging it to Anyway the solution is to create a new branch with just a single one-line commit. |
That would explain it. Squashing is against our policy, so that's another omission – a double whammy :) Anyway yes, a solution is to branch off Let's see if any tests fail after changing the setup.py. That might need adjusting as well. |
It seems to me that all recent PR merges on the
There is no fuzzytm import in the current code base, so I don't see how it could fail... |
Sorry, I am relatively new to the git workflow and still learning. I have created a new branch and added, committed and pushed the new |
Switch to your local
Make sure your local Then create a new branch as a fork of the
Edit Alternatively, you can do this directly from the GitHub UI. Navigate to |
@mpenkov did I miss something, are we squashing PRs now? I'm personally not a fan of rewriting history (and not only for the reasons manifested in this ticket). I'd prefer normal merges – do you remember the reasoning for this change? |
I think we've been squashing as far as I can remember. In general, I agree with you, that rewriting history is bad. In the case of PRs, I don't think it counts as "rewriting history" (or at least, is not bad) because:
To give an example of the "bad" kind of rewriting history: squashing commits on "develop" and then force pushing to upstream. That leaves people out of sync with upstream, and requires effort on their part to work out what happens and how to get back in sync again. Squashing can also be good in some cases. It's agnostic to the granularity of commits in the PR. Some people commit often, some less so. From our point of view, we squash their contribution to a single commit, it's always just one thing. Have a look at how e.g. #3427 was authored. It contains half a dozen commits to change one line. Do we want them all as individual commits in our history? As you can see I have a mild preference to squashing PRs when merging, but it's up to you. Let me know if you do want me to switch to merge commits in the future. |
I have precisely followed @osma's advised steps (as described below). For this, I have created a new pull request #3437. Still, all these previous commits are there.
|
Commits are also a measure of past effort (of the PR, of the project). As well as a measure of authorship and author footprint & effort. And then there's git bisecting to locate errors; informative commit messages (hopefully) related to a concrete commit = set of changes etc. Btw commits are never "a part of the history of the branch they are being merged into"… until they're merged :) Not sure what you meant. In any case, the path here is clear:
@ERijck if you follow @osma's steps above, you should get a branch with a single extra commit in it. This PR has 7 commits in it, which doesn't sound right. What exactly did you do? |
@ERijck I suspect that your local There are many ways to fix this but perhaps the easiest (even if it's a bit drastic) is to delete your local |
Finally, it worked. I will add an Thanks for the help and patience @piskvorky, @osma and @mpenkov! |
Removed the FuzzyTM dependency from
setup.py
. Fixes #3423.