From ab41880f5f60203389681a336deb04e60202aeed Mon Sep 17 00:00:00 2001
From: "Brett V. Forsgren" <brettfo@microsoft.com>
Date: Wed, 13 Oct 2021 16:07:08 -0600
Subject: [PATCH] add F# dev17.1 merges (#1109)

---
 src/GitHubCreateMergePRs/config.xml | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/GitHubCreateMergePRs/config.xml b/src/GitHubCreateMergePRs/config.xml
index c8c82b4383..cb62c818e6 100644
--- a/src/GitHubCreateMergePRs/config.xml
+++ b/src/GitHubCreateMergePRs/config.xml
@@ -54,15 +54,18 @@
   <repo owner="dotnet" name="fsharp">
     <!-- releases -->
     <merge from="dev16.0" to="main" /><!-- latest LTS -->
-    <merge from="release/dev16.8" to="main" /><!-- latest RTM -->
+    <merge from="release/dev16.11" to="main" /><!-- latest RTM -->
     <merge from="release/dev16.9" to="release/dev16.10" />
-    <merge from="release/dev16.10" to="release/dev17.0" />
+    <merge from="release/dev16.10" to="release/dev16.11" />
+    <merge from="release/dev16.11" to="release/dev17.0" />
+    <merge from="release/dev17.0" to="release/dev17.1" />
 
     <!-- FCS -->
     <merge from="release/dev16.9" to="release/fcs" />
     <merge from="release/fcs" to="main" />
 
     <!-- regular branch flow -->
+    <merge from="main" to="release/dev17.1" />
     <merge from="feature/auto-widen" to="feature/erased-unions" />
   </repo>