[riot-notifications] [RIOT-OS/RIOT] make: add termdeps target (#11762)
notifications at github.com
Mon Jul 1 17:27:26 CEST 2019
> Ok in that case the second commit should be in another PR, since its a murdock speed up and since you are referencing the PR in the code I would rather have the referenced changed properly isolated.
PR splitting is for making reviews easier, not for keeping changes distinct. Commits are used for the latter. AFAICT, the changes here are already agreed on. So unless you're having problems ACKing parts of this PR, splitting the PR is only extra work.
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the notifications