Merge branch 'release/dev17.3' into merges/release/dev17.2-to-release/dev17.3

azure-pipelines.yml

@@ -522,8 +522,8 @@ stages:
 - ${{ if and(ne(variables['System.TeamProject'], 'public'), notin(variables['Build.Reason'], 'PullRequest')) }}:
   - template: eng/release/insert-into-vs.yml
     parameters:
-      componentBranchName: refs/heads/release/dev17.2
-      insertTargetBranch: rel/d17.2
+      componentBranchName: refs/heads/release/dev17.3
+      insertTargetBranch: main
       insertTeamEmail: fsharpteam@microsoft.com
       insertTeamName: 'F#'
       completeInsertion: 'auto'