Hi all,
So, this is a not so gentle reminder that you have to bloody manage the various
Github fields for PRs. In particular:
Milestone - Should always be 10.0.0 (for now), unless it’s a requested
back port PR (because of merge conflicts)
Projects - If needed, adding e.g. 9.2.x Project if this needs to go
into a 9.2.x release
Labels - E.g. “HTTP” or “Core” etc.
Also, if you are reviewing a PR, and these fields are not set, don’t you dare
to approve it! Right now, we’re even merging PRs into master, which don’t have
any of these fields set. That is not acceptable, ever.
Get with the program people!
— Leif
