Merge branch 'main' into repo-assist/feature-yaml-provider-09be4085d1b6fe5b

Author: dsyme

.github/workflows/push-master.yml

@@ -5,15 +5,19 @@ on:
     branches:
     - main
 
+permissions:
+  contents: write      # for peaceiris/actions-gh-pages
+  id-token: write      # for NuGet trusted publishing
+
 jobs:
   build:
 
     runs-on: windows-latest
 
     steps:
-    - uses: actions/checkout@v1
+    - uses: actions/checkout@v4
     - name: Setup .NET Core 8
-      uses: actions/setup-dotnet@v1
+      uses: actions/setup-dotnet@v4
       with:
         dotnet-version: 8.0.400
     - name: Restore .NET local tools
@@ -31,8 +35,14 @@ jobs:
         force_orphan: true
     - name: Examine bin
       run: ls -r bin
+    - name: Obtain NuGet key
+      # this hash is v1.1.0
+      uses: NuGet/login@d22cc5f58ff5b88bf9bd452535b4335137e24544
+      id: login
+      with:
+          user: fsprojects
     - name: Publish NuGets (if this version not published before)
-      run: dotnet nuget push bin\FSharp.Data.*.nupkg -s https://api.nuget.org/v3/index.json -k ${{ secrets.NUGET_ORG_TOKEN_2020 }} --skip-duplicate
+      run: dotnet nuget push bin\FSharp.Data.*.nupkg -s https://www.nuget.org/api/v2/package -k ${{ steps.nuget-login.outputs.NUGET_API_KEY }} --skip-duplicate
 
-# NUGET_ORG_TOKEN_2020 is listed in "Repository secrets" in https://github.com/fsprojects/FSharp.Data/settings/secrets/actions
-# note, the nuget org token expires around June 2021
+# Trusted publishing uses NuGet OIDC
+# See: https://learn.microsoft.com/nuget/nuget-org/publish-a-package#trusted-publishing

.github/workflows/repo-assist.lock.yml

@@ -36,7 +36,7 @@ network:
   - schemas.microsoft.com
   - tomasp.net
   - http://www.w3.org
-  - http://schemas.microsoft.com 
+  - http://schemas.microsoft.com
 
 safe-outputs:
   add-comment:
@@ -76,7 +76,7 @@ tools:
   bash: true
   repo-memory: true
 
-source: githubnext/agentics/workflows/repo-assist.md@b87234850bf9664d198f28a02df0f937d0447295
+source: githubnext/agentics/workflows/repo-assist.md@f2c5cf1e4af58e09a93ba0703c6bf084711b265f
 ---
 
 # Repo Assist
@@ -120,6 +120,8 @@ Read memory at the **start** of every run; update it at the **end**.
 
 Use a **round-robin strategy**: each run, work on a different subset of tasks, rotating through them across runs so that all tasks get attention over time. Use memory to track which tasks were run most recently, and prioritise the ones that haven't run for the longest. Aim to do 2–4 tasks per run (plus the mandatory Task 11).
 
+**Repeat-run mode**: When invoked via `gh aw run repo-assist --repeat`, runs occur every 5–10 minutes. Even in this mode, **actively look for useful work to do** on every run. Do not skip a run just because the last one was recent or because open PRs are awaiting CI — there is always a task to advance: label issues, scan the backlog, study the codebase, prepare a fix, push an update, or work on Task 10. Treat a "nothing to do" conclusion as a sign you haven't looked hard enough, unless there really is, like, literally nothing to do. And be careful not to do duplicate work across runs — check memory to see if you've already tried a fix or commented on an issue before doing it again.
+
 Always do Task 11 (Update Monthly Activity Summary Issue) every run. In all comments and PR descriptions, identify yourself as "Repo Assist".
 
 ### Task 1: Triage and Comment on Open Issues

.github/workflows/repo-assist.md

@@ -57,7 +57,7 @@ let startHttpLocalServer() =
                 port <- random.Next(10000, 65000)
         port
 
-    let baseAddress = $"http://localhost:{freePort}"
+    let baseAddress = $"http://127.0.0.1:{freePort}"
 
     let workerTask = app.RunAsync(baseAddress)
     printfn $"Started local http server with address {baseAddress}"

tests/FSharp.Data.Core.Tests/Http.fs

@@ -60,7 +60,7 @@ let startXmlHttpLocalServer() =
                 port <- random.Next(10000, 65000)
         port
 
-    let baseAddress = $"http://localhost:{freePort}"
+    let baseAddress = $"http://127.0.0.1:{freePort}"
     let workerTask = app.RunAsync(baseAddress)
 
     { new ITestHttpServer with