Refactor metadata parsing and update publication workflow (#62)

* - Refactoring of repositories parsing metadata to use `quarto inspect` logic instead of manual metadata extraction/parsing.
- Removed a small redundant subsection tittle in the authors guide.
- RSS feed generated by the main publication script (as quarto is not capable of generating RSS feeds directly from an existing yml).

* Update build workflow to stage both YAML and XML published files

* Update publications from getcomputo-pub.fsx [skip ci]

* 2026 may update

* forgot dotnet tool

* Fix workflow indentation and build command

Steps are now properly nested under the jobs definition. Remove
the UpdatePublications target argument from the refresh step.
Track .config/dotnet-tools.json by updating gitignore.

* Revert

* Refresh publication metadata [skip ci]

* Update dependency chain in Build.fs

Remove UpdatePublications target from default chain

---------

Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>

Author: fradav

.config/dotnet-tools.json

@@ -0,0 +1,20 @@
+{
+  "version": 1,
+  "isRoot": true,
+  "tools": {
+    "fantomas": {
+      "version": "7.0.5",
+      "commands": [
+        "fantomas"
+      ],
+      "rollForward": false
+    },
+    "paket": {
+      "version": "10.3.1",
+      "commands": [
+        "paket"
+      ],
+      "rollForward": false
+    }
+  }
+}

.github/workflows/build.yml

@@ -12,7 +12,7 @@ on:
       force:
         description: 'Set to "true" to mark this run as forced when manually triggered'
         required: false
-        default: 'false'
+        default: "false"
 
 jobs:
   build:
@@ -22,36 +22,50 @@ jobs:
       contents: write
     runs-on: ubuntu-latest
     steps:
-    - name: Checkout code
-      uses: actions/checkout@v3
-      with:
-        fetch-depth: 0
-        persist-credentials: true
-    - name: Setup Quarto
-      uses: quarto-dev/quarto-actions/setup@v2
-    - name: refresh publications and commit changes
-      if: ${{ github.event_name == 'workflow_dispatch' || github.event.inputs.force == 'true' }}
-      env:
-        API_GITHUB_TOKEN: ${{ secrets.API_GITHUB_TOKEN }}
-      run: |
-        dotnet fsi getcomputo-pub.fsx
-        git config user.name "github-actions[bot]"
-        git config user.email "github-actions[bot]@users.noreply.github.com"
-        # Stage the generated files (ignore errors if files missing)
-        git add site/published.yml site/pipeline.yml site/mock-papers.yml || true
-        # Only commit if there are staged changes
-        if git diff --staged --quiet; then
-          echo "No publication changes to commit"
-        else
-          git commit -m "Update publications from getcomputo-pub.fsx [skip ci]"
-          # push to the branch that triggered the workflow
-          git push origin HEAD:${{ github.ref_name }}
-        fi
+      - name: Checkout code
+        uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
+          persist-credentials: true
+      - name: Setup Quarto
+        uses: quarto-dev/quarto-actions/setup@v2
+
+      - name: Setup .NET
+        uses: actions/setup-dotnet@v4
+        with:
+          dotnet-version: "10.0.x"
+
+      - name: Restore build tooling
+        run: |
+          dotnet tool restore
+          dotnet tool run paket restore
+
+      - name: Run tests
+        run: dotnet run --project src/Build.fsproj -- -t Test
+
+      - name: refresh publications and commit changes
+        if: ${{ github.event_name == 'workflow_dispatch' || github.event.inputs.force == 'true' }}
+        env:
+          API_GITHUB_TOKEN: ${{ secrets.API_GITHUB_TOKEN }}
+        run: |
+          dotnet run --project src/Build.fsproj -- -t UpdatePublications
+          git config user.name "github-actions[bot]"
+          git config user.email "github-actions[bot]@users.noreply.github.com"
+          # Stage the generated files (ignore errors if files missing)
+          git add site/published.{yml,xml} site/pipeline.yml site/mock-papers.yml || true
+          # Only commit if there are staged changes
+          if git diff --staged --quiet; then
+            echo "No publication changes to commit"
+          else
+            git commit -m "Refresh publication metadata [skip ci]"
+            # push to the branch that triggered the workflow
+            git push origin HEAD:${{ github.ref_name }}
+          fi
 
-    - name: Build site
-      uses: quarto-dev/quarto-actions/render@v2
-    - name: Upload artifact
-      uses: actions/upload-pages-artifact@v3
+      - name: Build site
+        run: dotnet run --project src/Build.fsproj -- -t RenderSite
+      - name: Upload artifact
+        uses: actions/upload-pages-artifact@v3
 
   # Deployment job
   deploy:
@@ -70,4 +84,4 @@ jobs:
         id: deployment
         uses: actions/deploy-pages@v4
         with:
-          token: ${{ secrets.GITHUB_TOKEN }}
+          token: ${{ secrets.GITHUB_TOKEN }}