From c2b5f4c06e9788ece736167e14997bae5a33ab90 Mon Sep 17 00:00:00 2001 From: Rainer Sigwald Date: Fri, 7 May 2021 16:40:43 -0500 Subject: [PATCH] Merge automation: link to config file (#6443) Link to the file that defines the merge configuration in merge PRs. Fixes #6409. --- scripts/GitHubMergeBranches.ps1 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/GitHubMergeBranches.ps1 b/scripts/GitHubMergeBranches.ps1 index d10323f00bc..cba51485112 100755 --- a/scripts/GitHubMergeBranches.ps1 +++ b/scripts/GitHubMergeBranches.ps1 @@ -351,7 +351,7 @@ You may need to fix this problem by merging branches with this PR. Contact .NET } $prBody = @" -I detected changes in the $HeadBranch branch which have not been merged yet to $BaseBranch. I'm a robot and am configured to help you automatically keep $BaseBranch up to date, so I've opened this PR. +I detected changes in the $HeadBranch branch which have not been merged yet to $BaseBranch. I'm a robot and am [configured](https://github.com/dotnet/versions/blob/main/Maestro/subscriptions.json) to help you automatically keep $BaseBranch up to date, so I've opened this PR. $committersList