665: Mismatch between issue and PR title should not allow integration #843
If there's a mismatch between the PR title and the issue title, we'll not set the
@rwestberg The following label will be automatically applied to this pull request:
When this pull request is ready to be reviewed, an RFR email will be sent to the corresponding mailing list. If you would like to change these labels, use the
@rwestberg This change now passes all automated pre-integration checks.
After integration, the commit message for the final commit will be:
At the time when this comment was updated there had been 3 new commits pushed to the
Please see this link for an up-to-date comparison between the source branch of this pull request and the
@rwestberg Since your change was applied there have been 3 commits pushed to the
Your commit was automatically rebased without conflicts.
Pushed as commit c963075.