[Integrated] RFR: 377: Remove special handling of failed-auto-merge label

[Erik Helin]

On Thu, 23 Apr 2020 10:15:26 GMT, Erik Helin <ehelin at openjdk.org> wrote:

> Hi all,
> 
> please review this patch that makes merge pull requests created by the
> openjdk-bot to get the proper "RFR:" prefix. The pull requests generated by the
> bot are as real as any other pull request ��
> 
> Thanks,
> Erik

This pull request has now been integrated.

Changeset: 4984c98f
Author:    Erik Helin <ehelin at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/4984c98f
Stats:     2 lines in 1 file changed: 2 ins; 0 del; 0 mod

377: Remove special handling of failed-auto-merge label

Reviewed-by: rwestberg

-------------

PR: https://git.openjdk.java.net/skara/pull/597