No RFR mail is sent if a PR is integrated very quickly

If a PR is integrated immediately after being opened, no RFR mail will be sent. This may be considered a feature, as no replies to such a mail will be considered before integration. Perhaps an "FYI - just integrated this" mail should be sent for such PRs.