squashing commits + keeping up with master in PR

Stream: PR reviews

[Nicolas Rolland]

I squashed my commits in my PR #15375 and also rebased it on master : is this any useful to do so ?

[Yaël Dillies]

Not really since bors will squash merge onto master anyway. It might however be useful to you if you are stacking up PRs