-
Notifications
You must be signed in to change notification settings - Fork 341
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
Allow choosing FreeRTOS from STM32Cube #190
Allow choosing FreeRTOS from STM32Cube #190
Conversation
9c72409
to
7fb32ca
Compare
7fb32ca
to
28e4de0
Compare
Hi, I really mean no offence, and will give you those general feedbacks :
|
I really did it in a single step because the change is not as big as it seems. The reason the diff is so high is because I basically moved the entire code to a macro that now gets called with different arguments depending on whether it's using a standalone FreeRTOS release or the one bundled with STM32Cube. This is actually the simplest of the three PRs that I have opened... That said, if you feel like this is a pressing issue just let me know how you would split this in separate commits and I can do it. |
Also, strongly disagree about force-pushing to a branch that is a work in progress. You have to force push to I.e improve commit messages and split (as you have pointed out) or squash commits. Force pushing is definitely better than having a poorly written commit history and is often part of the review process. Plus, anyone expecting a pull request branch to be stable don't really understand how this works. |
There is no point opening an argument here, but github's documentation is cristal clear on that : No force push on PR. Is not me being a dick, I had to open side by side your changes and the previous file to follow the changes. Your changes are not complex, but the format does not help at all the pull request process. The single commit does :
Can we agree that this is a lot for one single commit? Now that I dived in your code, I can make an actual review :
Can you add the new feature to the Readme file? |
I won't, but you obviously missed the point about forced-pushes in Github's documentation (risk of losing commits). Your point was that it somehow "messes things up" (your words) and "makes following changes harder". My point is that fixing the commit history often does the exact opposite of that.
Yes, this is my exact use case. That's why making Regarding documentation, I will be glad to add it as soon as I get any indication that the feature will be accepted in the first place. |
I can give no garante here but the owner merges all PR that are judged useful and are clean. Especially if they have been discussed and tested. Here it seems that it's in real good way so I have no fear about this. Side note about the force push : I understand your both point of view which are valid. But I tend to agree with Github documentation. Force push are really great before the PR but not once a review has been made. Because if you force push then the reviewer must remember everything or restart from zero instead just check the increment. |
Hi, [Since there is an argument] I thought I gave more explanation than "iT iS nOT GoOd", but maybe I wasn't clear enough. I hope that you see the point now that I gave you the reasons, the recommendation from github (the reason does not matter, they say no force push on PR), and If you still think that it's ok, you can do your own research. And you will see that my understanding on the topic is not off. (I did not like that part 😄) |
Hi, I'm interested in using this along with all other PRs by @g-arjones . I made a few smaller adaptions for the FreeRTOS file as well because the file structure of the FreeRTOS kernel has changed: #202 . |
Closes #188