From be711447de350f28ffb94cc0550c9b93b11ec625 Mon Sep 17 00:00:00 2001
From: Vlad Zarytovskii <vzaritovsky@hotmail.com>
Date: Thu, 7 Jul 2022 17:54:24 +0200
Subject: [PATCH 1/2] Set up 17.4 release branch for F#

---
 src/GitHubCreateMergePRs/config.xml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/GitHubCreateMergePRs/config.xml b/src/GitHubCreateMergePRs/config.xml
index cd16b7cc16..faa016459e 100644
--- a/src/GitHubCreateMergePRs/config.xml
+++ b/src/GitHubCreateMergePRs/config.xml
@@ -61,9 +61,11 @@
     <merge from="release/dev17.0" to="release/dev17.1" />
     <merge from="release/dev17.1" to="release/dev17.2" />
     <merge from="release/dev17.2" to="release/dev17.3" />
+    <merge from="release/dev17.3" to="release/dev17.4" />
+
 
     <!-- regular branch flow -->
-    <merge from="main" to="release/dev17.3" />
+    <merge from="main" to="release/dev17.4" />
     <merge from="feature/auto-widen" to="feature/erased-unions" />
   </repo>
 

From 366878a94e3cdbdc1f486c9d0dd88fef85eb6003 Mon Sep 17 00:00:00 2001
From: Vlad Zarytovskii <vzaritovsky@hotmail.com>
Date: Thu, 7 Jul 2022 17:55:06 +0200
Subject: [PATCH 2/2] Remove whitespace

---
 src/GitHubCreateMergePRs/config.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/GitHubCreateMergePRs/config.xml b/src/GitHubCreateMergePRs/config.xml
index faa016459e..6e3400e196 100644
--- a/src/GitHubCreateMergePRs/config.xml
+++ b/src/GitHubCreateMergePRs/config.xml
@@ -63,7 +63,6 @@
     <merge from="release/dev17.2" to="release/dev17.3" />
     <merge from="release/dev17.3" to="release/dev17.4" />
 
-
     <!-- regular branch flow -->
     <merge from="main" to="release/dev17.4" />
     <merge from="feature/auto-widen" to="feature/erased-unions" />