From 5000c1a10b784634df648136faf0e005acd451c3 Mon Sep 17 00:00:00 2001 From: Genevieve Warren <24882762+gewarren@users.noreply.github.com> Date: Fri, 1 Nov 2024 11:31:36 -0700 Subject: [PATCH] Update SHA (#43280) --- ...icles.yml => cleanrepo-orphaned-articles.yml} | 16 ++++++++-------- ...-images.yml => cleanrepo-orphaned-images.yml} | 16 ++++++++-------- ...ludes.yml => cleanrepo-orphaned-includes.yml} | 16 ++++++++-------- ...ppets.yml => cleanrepo-orphaned-snippets.yml} | 16 ++++++++-------- ...rect-hops.yml => cleanrepo-redirect-hops.yml} | 16 ++++++++-------- ...ve-links.yml => cleanrepo-relative-links.yml} | 16 ++++++++-------- ...rects.yml => cleanrepo-replace-redirects.yml} | 16 ++++++++-------- .openpublishing.redirection.fsharp.json | 2 +- 8 files changed, 57 insertions(+), 57 deletions(-) rename .github/workflows/{orphaned-articles.yml => cleanrepo-orphaned-articles.yml} (72%) rename .github/workflows/{orphaned-images.yml => cleanrepo-orphaned-images.yml} (72%) rename .github/workflows/{orphaned-includes.yml => cleanrepo-orphaned-includes.yml} (73%) rename .github/workflows/{orphaned-snippets.yml => cleanrepo-orphaned-snippets.yml} (72%) rename .github/workflows/{redirect-hops.yml => cleanrepo-redirect-hops.yml} (74%) rename .github/workflows/{relative-links.yml => cleanrepo-relative-links.yml} (73%) rename .github/workflows/{replace-redirects.yml => cleanrepo-replace-redirects.yml} (73%) diff --git a/.github/workflows/orphaned-articles.yml b/.github/workflows/cleanrepo-orphaned-articles.yml similarity index 72% rename from .github/workflows/orphaned-articles.yml rename to .github/workflows/cleanrepo-orphaned-articles.yml index ed1cb26e36cc3..96ed7eaac15f0 100644 --- a/.github/workflows/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/orphaned-images.yml b/.github/workflows/cleanrepo-orphaned-images.yml similarity index 72% rename from .github/workflows/orphaned-images.yml rename to .github/workflows/cleanrepo-orphaned-images.yml index 59353755b9db5..b5c4a60c379e2 100644 --- a/.github/workflows/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/orphaned-includes.yml b/.github/workflows/cleanrepo-orphaned-includes.yml similarity index 73% rename from .github/workflows/orphaned-includes.yml rename to .github/workflows/cleanrepo-orphaned-includes.yml index 16b066f7a79ff..b075446464f5c 100644 --- a/.github/workflows/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/orphaned-snippets.yml b/.github/workflows/cleanrepo-orphaned-snippets.yml similarity index 72% rename from .github/workflows/orphaned-snippets.yml rename to .github/workflows/cleanrepo-orphaned-snippets.yml index c80b83ce94812..38ef8eb314524 100644 --- a/.github/workflows/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/redirect-hops.yml b/.github/workflows/cleanrepo-redirect-hops.yml similarity index 74% rename from .github/workflows/redirect-hops.yml rename to .github/workflows/cleanrepo-redirect-hops.yml index aee7211af46ed..494489de9ca61 100644 --- a/.github/workflows/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/relative-links.yml b/.github/workflows/cleanrepo-relative-links.yml similarity index 73% rename from .github/workflows/relative-links.yml rename to .github/workflows/cleanrepo-relative-links.yml index 4d5c4905a057d..745853fc749f3 100644 --- a/.github/workflows/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/replace-redirects.yml b/.github/workflows/cleanrepo-replace-redirects.yml similarity index 73% rename from .github/workflows/replace-redirects.yml rename to .github/workflows/cleanrepo-replace-redirects.yml index 4825b3d85beca..44b9b74e9abd6 100644 --- a/.github/workflows/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 index fbb09f5d5e684..ab1954fd6cfe6 100644 --- 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",