@srinivasreddy and @asvetlov: Backport status check is done, and it's a failure ❌ .

@srinivasreddy and @asvetlov: Backport status check is done, and it's a success ✅ .

Thanks, @asvetlov!

I think it is a good idea to preserve the title of the PR while back-porting. So we don't need to add it. I would like to contribute the patch to bot, now could you please point to the bot's source code?
@asvetlov

@Mariatta could describe our infrastructure much better than me.

Thanks @srinivasreddy and @asvetlov.
For the backport PR, the title is from the squashed commit message, not from the original PR title., this is by design.

The commit message on master does not have the bpo number, that's why the status check failed.

When merging, the core dev has the opportunity to edit the commit message, and in many cases, they do. So the bot should not be modified at this point. But rather, core devs should make sure the commit message is appropriate :)

Hope this makes sense.

Thanks for explanation.
Will be more careful about commit messages next time.