-
Notifications
You must be signed in to change notification settings - Fork 7
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
Drop old common data #1676
Drop old common data #1676
Conversation
I think we need to discuss how and when the old commondata is to be removed. I don't believe #1500 was ever intended to be merged as much for playing around with the new format. I think ideally we'd want to see plots of old vs new produced with one given version of the code that contains all. |
Fine, but it was not intended to be merged even if it was not draft. For me, the meaning of draft is "work in progress, not ready yet". This is ready as it is, and if the main point is "do not merge right now", it is sufficient not to do it, for as long as we do not agree it is time to merge. I perfectly agree on the "not right now", I do not want to see this in |
I agree. We don't have the new files yet, and have had little to no discussion as to what to do with the old ones. Hence, I think this is premature and having this around, in draft form or otherwise, might be a way to drag code meetings. It can be revisited. Also, eventually, removing the commondata should be re-done against master rather than the branch in #1500. At the moment the Files Changed tab in this PR looks very confusing (it is only removing the new commondatata functionality and seemingly not touching the old), and upon merging to master, it results in a funny history with new commondata functionality added and then deleted. |
@Zaharid yesterday an assembly of people at which, you decided not to attend, chose altogether to have this PR (someone agreed, and no one was against), and to keep here that "confusing Files Changed tab" in order not to confuse any other PR, since 2k files changed for sure would hide any useful change. This is the purpose of this PR, and it is a clear and simple purpose. Please, do not feel free to close PRs about which there is a shared agreement but you. And please, do not feel free to close any other issue just because it is not matching your personal taste and opinion. |
I prefer the draft just to make sure I don't press the "Merge pull request" by mistake. It wouldn't be the first time, better not to risk it. |
I accept useful observations: I can simply rebase on master and change the history to have a useful one.
Objection accepted |
f5de339
to
8574c5f
Compare
I am sorry but not. If you want to have a remainder to delete the old commondata, an issue is appropriate. It would a very useful to discuss what to do when, but rather far away from any concrete pr. As it is, this should not be merged against master for the reason I gave, and should not be merged against #1500 because it reverts all relevant additions, so it needs to be redone regardless of everything else. I feel I spent a rather long time trying to understand what this does, how it merges against master, and giving a reasoned reply as to what to do. I feel that tagging zillions of people and reopening unrelated issues is a very unhelpful way to proceed and certainly a terrible way to change my mind. |
Actually, it was so simple that I've done immediately :) |
Not done at random: they are the people that discussed this yesterday. I've created this PR during the meeting itself, just following the agreement we had. |
I'm going to close this for the time being because sadly there'd been additions to the commondata (which results in conflicts). |
This PR was just taking away |
No description provided.