Update SHA (#43280)

gewarren · web-flow · commit 5000c1a10b78 · 2024-11-01T11:31:36.000-07:00
diff --git a/.github/workflows/cleanrepo-orphaned-articles.yml b/.github/workflows/cleanrepo-orphaned-articles.yml
@@ -26,18 +26,18 @@ jobs:
       # Call clean repo
       - name: Clean repo
         id: clean-repo-step
-        uses: dotnet/docs-tools/cleanrepo@1c13adc87741beab84bb6e286d17b3b95ce687d8
+        uses: dotnet/docs-tools/cleanrepo@b1ebc174a5bbd18e6904a12069a8fae2c5cc3b6f
         with:
-          function: 'FindOrphanedArticles'
-          docfx_directory: '.'
-          target_directory: 'docs'
-          url_base_path: '/dotnet'
-        
+          function: "FindOrphanedArticles"
+          docfx_directory: "."
+          target_directory: "docs"
+          url_base_path: "/dotnet"
+
       # Create the PR for the work done by the "clean repo" tool
       - name: create-pull-request
         uses: peter-evans/create-pull-request@5e914681df9dc83aa4e4905692ca88beb2f9e91f
         with:
-          branch: create-cleanrepo-pull-request/patch
+          branch: cleanrepo-orphaned-articles
           title: "Monthly chores: Delete orphaned articles"
-          commit-message: 'Bot 🤖 generated CleanRepo tool run'
+          commit-message: "Bot 🤖 generated CleanRepo tool run"
           body: "Find and delete orphaned articles. Contributes to #..."
diff --git a/.github/workflows/cleanrepo-orphaned-images.yml b/.github/workflows/cleanrepo-orphaned-images.yml
@@ -26,18 +26,18 @@ jobs:
       # Call clean repo
       - name: Clean repo
         id: clean-repo-step
-        uses: dotnet/docs-tools/cleanrepo@1c13adc87741beab84bb6e286d17b3b95ce687d8
+        uses: dotnet/docs-tools/cleanrepo@b1ebc174a5bbd18e6904a12069a8fae2c5cc3b6f
         with:
-          function: 'FindOrphanedImages'
-          docfx_directory: '.'
-          target_directory: 'docs'
-          url_base_path: '/dotnet'
-        
+          function: "FindOrphanedImages"
+          docfx_directory: "."
+          target_directory: "docs"
+          url_base_path: "/dotnet"
+
       # Create the PR for the work done by the "clean repo" tool
       - name: create-pull-request
         uses: peter-evans/create-pull-request@5e914681df9dc83aa4e4905692ca88beb2f9e91f
         with:
-          branch: create-cleanrepo-pull-request/patch
+          branch: cleanrepo-orphaned-images
           title: "Monthly chores: Delete orphaned images"
-          commit-message: 'Bot 🤖 generated CleanRepo tool run'
+          commit-message: "Bot 🤖 generated CleanRepo tool run"
           body: "Find and delete orphaned images. Contributes to #..."
diff --git a/.github/workflows/cleanrepo-orphaned-includes.yml b/.github/workflows/cleanrepo-orphaned-includes.yml
@@ -26,18 +26,18 @@ jobs:
       # Call clean repo
       - name: Clean repo
         id: clean-repo-step
-        uses: dotnet/docs-tools/cleanrepo@1c13adc87741beab84bb6e286d17b3b95ce687d8
+        uses: dotnet/docs-tools/cleanrepo@b1ebc174a5bbd18e6904a12069a8fae2c5cc3b6f
         with:
-          function: 'FindOrphanedIncludes'
-          docfx_directory: '.'
-          target_directory: '.'
-          url_base_path: '/dotnet'
-        
+          function: "FindOrphanedIncludes"
+          docfx_directory: "."
+          target_directory: "."
+          url_base_path: "/dotnet"
+
       # Create the PR for the work done by the "clean repo" tool
       - name: create-pull-request
         uses: peter-evans/create-pull-request@5e914681df9dc83aa4e4905692ca88beb2f9e91f
         with:
-          branch: create-cleanrepo-pull-request/patch
+          branch: cleanrepo-orphaned-includes
           title: "Monthly chores: Delete orphaned include files"
-          commit-message: 'Bot 🤖 generated CleanRepo tool run'
+          commit-message: "Bot 🤖 generated CleanRepo tool run"
           body: "Find and delete orphaned include files. Contributes to #..."
diff --git a/.github/workflows/cleanrepo-orphaned-snippets.yml b/.github/workflows/cleanrepo-orphaned-snippets.yml
@@ -26,18 +26,18 @@ jobs:
       # Call clean repo
       - name: Clean repo
         id: clean-repo-step
-        uses: dotnet/docs-tools/cleanrepo@1c13adc87741beab84bb6e286d17b3b95ce687d8
+        uses: dotnet/docs-tools/cleanrepo@b1ebc174a5bbd18e6904a12069a8fae2c5cc3b6f
         with:
-          function: 'FindOrphanedSnippets'
-          docfx_directory: '.'
-          target_directory: 'docs'
-          url_base_path: '/dotnet'
-        
+          function: "FindOrphanedSnippets"
+          docfx_directory: "."
+          target_directory: "docs"
+          url_base_path: "/dotnet"
+
       # Create the PR for the work done by the "clean repo" tool
       - name: create-pull-request
         uses: peter-evans/create-pull-request@5e914681df9dc83aa4e4905692ca88beb2f9e91f
         with:
-          branch: create-cleanrepo-pull-request/patch
+          branch: cleanrepo-orphaned-snippets
           title: "Monthly chores: Delete orphaned snippets"
-          commit-message: 'Bot 🤖 generated CleanRepo tool run'
+          commit-message: "Bot 🤖 generated CleanRepo tool run"
           body: "Find and delete orphaned snippets. Contributes to #..."
diff --git a/.github/workflows/cleanrepo-redirect-hops.yml b/.github/workflows/cleanrepo-redirect-hops.yml
@@ -26,18 +26,18 @@ jobs:
       # Call clean repo
       - name: Clean repo
         id: clean-repo-step
-        uses: dotnet/docs-tools/cleanrepo@1c13adc87741beab84bb6e286d17b3b95ce687d8
+        uses: dotnet/docs-tools/cleanrepo@b1ebc174a5bbd18e6904a12069a8fae2c5cc3b6f
         with:
-          function: 'RemoveRedirectHops'
-          docfx_directory: '.'
-          target_directory: 'docs'
-          url_base_path: '/dotnet'
-        
+          function: "RemoveRedirectHops"
+          docfx_directory: "."
+          target_directory: "docs"
+          url_base_path: "/dotnet"
+
       # Create the PR for the work done by the "clean repo" tool
       - name: create-pull-request
         uses: peter-evans/create-pull-request@5e914681df9dc83aa4e4905692ca88beb2f9e91f
         with:
-          branch: create-cleanrepo-pull-request/patch
+          branch: cleanrepo-remove-hops
           title: "Monthly chores: Remove redirect hops"
-          commit-message: 'Bot 🤖 generated CleanRepo tool run'
+          commit-message: "Bot 🤖 generated CleanRepo tool run"
           body: "Remove redirect hops, for example, if a -> b and b -> c, replace a -> b with a -> c. Contributes to #..."
diff --git a/.github/workflows/cleanrepo-relative-links.yml b/.github/workflows/cleanrepo-relative-links.yml
@@ -26,18 +26,18 @@ jobs:
       # Call clean repo
       - name: Clean repo
         id: clean-repo-step
-        uses: dotnet/docs-tools/cleanrepo@1c13adc87741beab84bb6e286d17b3b95ce687d8
+        uses: dotnet/docs-tools/cleanrepo@b1ebc174a5bbd18e6904a12069a8fae2c5cc3b6f
         with:
-          function: 'ReplaceWithRelativeLinks'
-          docfx_directory: '.'
-          target_directory: 'docs'
-          url_base_path: '/dotnet'
-        
+          function: "ReplaceWithRelativeLinks"
+          docfx_directory: "."
+          target_directory: "docs"
+          url_base_path: "/dotnet"
+
       # Create the PR for the work done by the "clean repo" tool
       - name: create-pull-request
         uses: peter-evans/create-pull-request@5e914681df9dc83aa4e4905692ca88beb2f9e91f
         with:
-          branch: create-cleanrepo-pull-request/patch
+          branch: cleanrepo-relative-links
           title: "Monthly chores: Use relative links"
-          commit-message: 'Bot 🤖 generated CleanRepo tool run'
+          commit-message: "Bot 🤖 generated CleanRepo tool run"
           body: "Find and replace absolute links with relative links. Contributes to #..."
diff --git a/.github/workflows/cleanrepo-replace-redirects.yml b/.github/workflows/cleanrepo-replace-redirects.yml
@@ -26,18 +26,18 @@ jobs:
       # Call clean repo
       - name: Clean repo
         id: clean-repo-step
-        uses: dotnet/docs-tools/cleanrepo@1c13adc87741beab84bb6e286d17b3b95ce687d8
+        uses: dotnet/docs-tools/cleanrepo@b1ebc174a5bbd18e6904a12069a8fae2c5cc3b6f
         with:
-          function: 'ReplaceRedirectTargets'
-          docfx_directory: '.'
-          target_directory: 'docs'
-          url_base_path: '/dotnet'
-        
+          function: "ReplaceRedirectTargets"
+          docfx_directory: "."
+          target_directory: "docs"
+          url_base_path: "/dotnet"
+
       # Create the PR for the work done by the "clean repo" tool
       - name: create-pull-request
         uses: peter-evans/create-pull-request@5e914681df9dc83aa4e4905692ca88beb2f9e91f
         with:
-          branch: create-cleanrepo-pull-request/patch
+          branch: cleanrepo-replace-redirects
           title: "Monthly chores: Replace redirect targets"
-          commit-message: 'Bot 🤖 generated CleanRepo tool run'
+          commit-message: "Bot 🤖 generated CleanRepo tool run"
           body: "Replace redirected links with target URL. Contributes to #..."
diff --git a/.openpublishing.redirection.fsharp.json b/.openpublishing.redirection.fsharp.json
@@ -76,7 +76,7 @@
         },
         {
             "source_path_from_root": "/docs/fsharp/tutorials/getting-started/getting-started-visual-studio-for-mac.md",
-            "redirect_url": "/dotnet/fsharp/get-started/get-started-vscode",
+            "redirect_url": "/dotnet/fsharp/get-started/get-started-vscode"
         },
         {
             "source_path_from_root": "/docs/fsharp/tutorials/getting-started/getting-started-visual-studio.md",

Original file line number	Diff line number	Diff line change
`@@ -76,7 +76,7 @@`
`76`	`76`	`},`
`77`	`77`	`{`
`78`	`78`	`"source_path_from_root": "/docs/fsharp/tutorials/getting-started/getting-started-visual-studio-for-mac.md",`
`79`		`- "redirect_url": "/dotnet/fsharp/get-started/get-started-vscode",`
	`79`	`+ "redirect_url": "/dotnet/fsharp/get-started/get-started-vscode"`
`80`	`80`	`},`
`81`	`81`	`{`
`82`	`82`	`"source_path_from_root": "/docs/fsharp/tutorials/getting-started/getting-started-visual-studio.md",`