Merge main into live

.github/policies/auto-merge.yml

@@ -16,9 +16,8 @@ configuration:
             label: ':octocat: auto-merge'
         - targetsBranch:
             branch: main
-        - or:
-            - isActivitySender:
-                user: dotnet-policy-service[bot]
+        - isActivitySender:
+            user: dotnet-policy-service[bot]
       then:
         - enableAutoMerge:
             mergeMethod: Squash

.github/workflows/cleanrepo-orphaned-articles.yml

@@ -0,0 +1,43 @@
+name: "clean repo - articles"
+
+on:
+  schedule:
+    - cron: "0 1 1 * *" # Runs at 01:00, on day 1 of the month
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  clean-repo:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+      pull-requests: write
+
+    steps:
+      - name: Harden Runner
+        uses: step-security/harden-runner@91182cccc01eb5e619899d80e4e971d6181294a7 # v2.10.1
+        with:
+          egress-policy: audit
+
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
+
+      # Call clean repo
+      - name: Clean repo
+        id: clean-repo-step
+        uses: dotnet/docs-tools/cleanrepo@b1ebc174a5bbd18e6904a12069a8fae2c5cc3b6f
+        with:
+          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: cleanrepo-orphaned-articles
+          title: "Monthly chores: Delete orphaned articles"
+          commit-message: "Bot 🤖 generated CleanRepo tool run"
+          body: "Find and delete orphaned articles. Contributes to #..."

.github/workflows/cleanrepo-orphaned-images.yml

@@ -0,0 +1,43 @@
+name: "clean repo - images"
+
+on:
+  schedule:
+    - cron: "0 1 1 * *" # Runs at 01:00, on day 1 of the month
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  clean-repo:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+      pull-requests: write
+
+    steps:
+      - name: Harden Runner
+        uses: step-security/harden-runner@91182cccc01eb5e619899d80e4e971d6181294a7 # v2.10.1
+        with:
+          egress-policy: audit
+
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
+
+      # Call clean repo
+      - name: Clean repo
+        id: clean-repo-step
+        uses: dotnet/docs-tools/cleanrepo@b1ebc174a5bbd18e6904a12069a8fae2c5cc3b6f
+        with:
+          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: cleanrepo-orphaned-images
+          title: "Monthly chores: Delete orphaned images"
+          commit-message: "Bot 🤖 generated CleanRepo tool run"
+          body: "Find and delete orphaned images. Contributes to #..."

.github/workflows/cleanrepo-orphaned-includes.yml

@@ -0,0 +1,43 @@
+name: "clean repo - includes"
+
+on:
+  schedule:
+    - cron: "0 1 1 * *" # Runs at 01:00, on day 1 of the month
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  clean-repo:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+      pull-requests: write
+
+    steps:
+      - name: Harden Runner
+        uses: step-security/harden-runner@91182cccc01eb5e619899d80e4e971d6181294a7 # v2.10.1
+        with:
+          egress-policy: audit
+
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
+
+      # Call clean repo
+      - name: Clean repo
+        id: clean-repo-step
+        uses: dotnet/docs-tools/cleanrepo@b1ebc174a5bbd18e6904a12069a8fae2c5cc3b6f
+        with:
+          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: cleanrepo-orphaned-includes
+          title: "Monthly chores: Delete orphaned include files"
+          commit-message: "Bot 🤖 generated CleanRepo tool run"
+          body: "Find and delete orphaned include files. Contributes to #..."

.github/workflows/cleanrepo-orphaned-snippets.yml

@@ -0,0 +1,43 @@
+name: "clean repo - snippets"
+
+on:
+  schedule:
+    - cron: "0 1 1 * *" # Runs at 01:00, on day 1 of the month
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  clean-repo:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+      pull-requests: write
+
+    steps:
+      - name: Harden Runner
+        uses: step-security/harden-runner@91182cccc01eb5e619899d80e4e971d6181294a7 # v2.10.1
+        with:
+          egress-policy: audit
+
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
+
+      # Call clean repo
+      - name: Clean repo
+        id: clean-repo-step
+        uses: dotnet/docs-tools/cleanrepo@b1ebc174a5bbd18e6904a12069a8fae2c5cc3b6f
+        with:
+          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: cleanrepo-orphaned-snippets
+          title: "Monthly chores: Delete orphaned snippets"
+          commit-message: "Bot 🤖 generated CleanRepo tool run"
+          body: "Find and delete orphaned snippets. Contributes to #..."

.github/workflows/cleanrepo-redirect-hops.yml

@@ -0,0 +1,43 @@
+name: "clean repo - redirect hops"
+
+on:
+  schedule:
+    - cron: "0 1 1 * *" # Runs at 01:00, on day 1 of the month
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  clean-repo:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+      pull-requests: write
+
+    steps:
+      - name: Harden Runner
+        uses: step-security/harden-runner@91182cccc01eb5e619899d80e4e971d6181294a7 # v2.10.1
+        with:
+          egress-policy: audit
+
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
+
+      # Call clean repo
+      - name: Clean repo
+        id: clean-repo-step
+        uses: dotnet/docs-tools/cleanrepo@b1ebc174a5bbd18e6904a12069a8fae2c5cc3b6f
+        with:
+          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: cleanrepo-remove-hops
+          title: "Monthly chores: Remove redirect hops"
+          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 #..."

.github/workflows/cleanrepo-relative-links.yml

@@ -0,0 +1,43 @@
+name: "clean repo - relative links"
+
+on:
+  schedule:
+    - cron: "0 1 1 * *" # Runs at 01:00, on day 1 of the month
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  clean-repo:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+      pull-requests: write
+
+    steps:
+      - name: Harden Runner
+        uses: step-security/harden-runner@91182cccc01eb5e619899d80e4e971d6181294a7 # v2.10.1
+        with:
+          egress-policy: audit
+
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
+
+      # Call clean repo
+      - name: Clean repo
+        id: clean-repo-step
+        uses: dotnet/docs-tools/cleanrepo@b1ebc174a5bbd18e6904a12069a8fae2c5cc3b6f
+        with:
+          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: cleanrepo-relative-links
+          title: "Monthly chores: Use relative links"
+          commit-message: "Bot 🤖 generated CleanRepo tool run"
+          body: "Find and replace absolute links with relative links. Contributes to #..."

.github/workflows/cleanrepo-replace-redirects.yml

@@ -0,0 +1,43 @@
+name: "clean repo - replace redirects"
+
+on:
+  schedule:
+    - cron: "0 1 1 * *" # Runs at 01:00, on day 1 of the month
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  clean-repo:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+      pull-requests: write
+
+    steps:
+      - name: Harden Runner
+        uses: step-security/harden-runner@91182cccc01eb5e619899d80e4e971d6181294a7 # v2.10.1
+        with:
+          egress-policy: audit
+
+      - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
+
+      # Call clean repo
+      - name: Clean repo
+        id: clean-repo-step
+        uses: dotnet/docs-tools/cleanrepo@b1ebc174a5bbd18e6904a12069a8fae2c5cc3b6f
+        with:
+          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: cleanrepo-replace-redirects
+          title: "Monthly chores: Replace redirect targets"
+          commit-message: "Bot 🤖 generated CleanRepo tool run"
+          body: "Replace redirected links with target URL. Contributes to #..."

.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",