Improve SIP pages

.github/workflows/sync-sips.yml

@@ -0,0 +1,42 @@
+name: Sync SIPs
+
+on:
+  schedule:
+    - cron: '0 6 * * *'  # Daily at 6 AM UTC
+  workflow_dispatch:  # Allow manual trigger
+
+jobs:
+  sync:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Fetch SIPs from improvement-proposals
+        run: |
+          rm -rf _sips/sips
+          mkdir -p _sips/sips
+          git clone --depth 1 --filter=blob:none --sparse https://github.com/scala/improvement-proposals.git /tmp/improvement-proposals
+          cd /tmp/improvement-proposals
+          git sparse-checkout set content
+          cp -r content/* $GITHUB_WORKSPACE/_sips/sips/
+
+      - name: Check for changes
+        id: changes
+        run: |
+          git add _sips/sips
+          if git diff --staged --quiet; then
+            echo "changed=false" >> $GITHUB_OUTPUT
+          else
+            echo "changed=true" >> $GITHUB_OUTPUT
+          fi
+
+      - name: Create Pull Request
+        if: steps.changes.outputs.changed == 'true'
+        uses: peter-evans/create-pull-request@v5
+        with:
+          commit-message: "Sync SIPs from scala/improvement-proposals"
+          title: "Sync SIPs from scala/improvement-proposals"
+          body: |
+            Automated sync of SIP content from [scala/improvement-proposals](https://github.com/scala/improvement-proposals).
+          branch: sync-sips
+          delete-branch: true

_layouts/root-content-layout.html

@@ -20,7 +20,7 @@
           {% else %}
             <div class="supertitle">&nbsp;</div>
           {% endif %}
-          <h1>{{ page.title }}</h1>
+          <h1>{% if page.layout == 'sip' and page.number %}{{ page.kind | default: 'SIP' }}-{{ page.number }} - {% endif %}{{ page.title }}</h1>
         </div>
         <div class="search-container">
           <div class="icon-search">

_overviews/scala3-book/string-interpolation.md

@@ -367,4 +367,4 @@ expansion, executing SQL queries, magic `$"identifier"` representations, and man
 
 [java-format-docs]: https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/util/Formatter.html#detail
 [value-class]: {% link _overviews/core/value-classes.md %}
-[sip-11]: {% link _sips/sips/string-interpolation.md %}
+[sip-11]: {% link _sips/sips/011-string-interpolation.md %}

_ru/scala3/book/string-interpolation.md

@@ -410,4 +410,4 @@ p"${x/5}, $x"   // Point(2.4, 12.0)
 [java-format-docs]: https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/util/Formatter.html#detail
 
 [value-class]: {% link _overviews/core/value-classes.md %}
-[sip-11]: {% link _sips/sips/string-interpolation.md %}
+[sip-11]: {% link _sips/sips/011-string-interpolation.md %}

_sips/all.md

@@ -2,48 +2,14 @@
 layout: sips
 title: List of All SIPs
 
-redirect_from: 
+redirect_from:
   - "/sips/sip-list.html"
   - "/sips/pending/index.html"
 ---
 
-{% assign sips = site.sips | sort: title %}
+{% assign sips = site.sips | sort: 'number' | reverse %}
 {% assign sipData = site.data.sip-data %}
 
-## Pre-SIP Discussions
-
-You can find so-called “pre-SIP discussions” in the Scala Contributors forum, under
-the category [Scala Improvement Process](https://contributors.scala-lang.org/c/sip/13).
-The goal of pre-SIP discussions is to gather initial community feedback and support.
-
-## Pending SIPs
-
-Proposals that are at the design or implementation stage, and that are actively
-discussed by the committee and the proposals’ authors. Click on a proposal to
-read its content, or the corresponding discussions on GitHub if its design has
-not been accepted yet.
-
-<div class="sip-list">
-  <ul>
-  {% for sip in sips %}
-   {% if sip.stage == "design" or sip.stage == "implementation" %}
-     <li class="no-fragmentation">
-      <strong>
-        <a href="{% if sip.pull-request-number %}https://github.com/scala/improvement-proposals/pull/{{ sip.pull-request-number }}{% else %}{{ sip.url }}{% endif %}">
-          {{ sip.title }}
-        </a>
-      </strong>
-      <div class="tag" style="background-color: {{ sipData[sip.stage].color }}">Stage: {{ sipData[sip.stage].text }}</div>
-      <div class="tag" style="background-color: {{ sipData[sip.status].color }}">Status: {{ sipData[sip.status].text }}</div>
-      {% if sip.recommendation %}
-        <div class="tag" style="background-color: {{ sipData[sip.recommendation].color }}">Recommendation: {{ sipData[sip.recommendation].text }}</div>
-      {% endif %}
-     </li>
-   {% endif %}
-  {% endfor %}
-  </ul>
-</div>
-
 ## Completed SIPs
 
 Proposals that have been implemented in the compiler and that are available as a stable
@@ -55,44 +21,31 @@ of the compiler (accepted). Click on a proposal to read its content.
   {% for sip in sips %}
    {% if sip.stage == "completed" %}
      <li class="no-fragmentation">
-      <strong><a href="{{ sip.url }}">{{ sip.title }}</a></strong>
+      <strong><a href="{{ sip.url }}">{{ sip.kind | default: 'SIP' }}-{{ sip.number }} - {{ sip.title }}</a></strong>
       <div class="tag" style="background-color: {{ sipData[sip.status].color }}">{{ sipData[sip.status].text }}</div>
      </li>
    {% endif %}
-  {% endfor %}    
+  {% endfor %}
   </ul>
 </div>
 
-## Rejected SIPs
+## Pending SIPs
 
-Proposals that have been rejected by the committee. Click on a proposal to read the
-corresponding discussions on GitHub.
+For proposals that are at the design or implementation stage, and that are actively
+discussed by the committee and the proposals' authors, please
+refer to the [GitHub PR queue](https://github.com/scala/improvement-proposals/pulls?q=is%3Apr+is%3Aopen).
 
-<div class="sip-list">
-  <ul>
-  {% for sip in sips %}
-   {% if sip.status == "rejected" %}
-     <li>
-      <strong><a href="https://github.com/scala/improvement-proposals/pull/{{ sip.pull-request-number }}">{{ sip.title }}</a></strong>
-     </li>
-   {% endif %}
-  {% endfor %}    
-  </ul>    
-</div>
+## Rejected SIPs
+
+Please refer to [GitHub](https://github.com/scala/improvement-proposals/pulls?q=is%3Apr+label%3Astatus%3Arejected) for proposals that have been rejected by the committee and the corresponding discussions.
 
 ## Withdrawn SIPs
 
-Proposals that have been withdrawn by their authors. Click on a proposal to read the 
-corresponding discussions on GitHub.
+Please refer to [GitHub](https://github.com/scala/improvement-proposals/pulls?q=is%3Apr+label%3Astatus%3Awithdrawn) for proposals that have been withdrawn
+and the corresponding discussions.
 
-<div class="sip-list">
-  <ul>
-  {% for sip in sips %}
-   {% if sip.status == "withdrawn" %}
-     <li>
-      <strong><a href="https://github.com/scala/improvement-proposals/pull/{{ sip.pull-request-number }}">{{ sip.title }}</a></strong>
-     </li>
-   {% endif %}
-  {% endfor %}
-  </ul>
-</div>
+## Pre-SIP Discussions
+
+You can find so-called “pre-SIP discussions” in the Scala Contributors forum, under
+the category [Scala Improvement Process](https://contributors.scala-lang.org/c/sip/13).
+The goal of pre-SIP discussions is to gather initial community feedback and support.

_sips/sips/named-and-default-arguments.md → _sips/sips/001-named-and-default-arguments.md

@@ -1,10 +1,12 @@
 ---
+kind: SID
 layout: sip
-title: SID-1 Named and Default Arguments
-stage: completed
-status: shipped
+number: 1
 permalink: /sips/:title.html
 redirect_from: /sips/pending/named-and-default-arguments.html
+stage: completed
+status: shipped
+title: Named and Default Arguments
 ---
 
 **Lukas Rytz**

_sips/sips/scala-compiler-phase-plugin-in.md → _sips/sips/002-scala-compiler-phase-plugin-in.md

@@ -1,10 +1,12 @@
 ---
+kind: SID
 layout: sip
-title: SID-2 Scala Compiler Phase and Plug-In Initialization for Scala 2.8
-stage: completed
-status: shipped
+number: 2
 permalink: /sips/:title.html
 redirect_from: /sips/pending/scala-compiler-phase-plugin-in.html
+stage: completed
+status: shipped
+title: Scala Compiler Phase and Plug-In Initialization for Scala 2.8
 ---
 
 This was an older SID that can be found [here](https://www.scala-lang.org/sid/2)

_sips/sips/new-collection-classes.md → _sips/sips/003-new-collection-classes.md

@@ -1,10 +1,12 @@
 ---
+kind: SID
 layout: sip
-title: SID-3 - New Collection classes
-stage: completed
-status: shipped
+number: 3
 permalink: /sips/:title.html
 redirect_from: /sips/pending/new-collection-classes.html
+stage: completed
+status: shipped
+title: New Collection classes
 ---
 
 This was an older SID that can be found [here](https://www.scala-lang.org/sid/3)

_sips/sips/early-member-definitions.md → _sips/sips/004-early-member-definitions.md

@@ -1,10 +1,12 @@
 ---
+kind: SID
 layout: sip
-title: SID-4 - Early Member Definitions
-stage: completed
-status: shipped
+number: 4
 permalink: /sips/:title.html
 redirect_from: /sips/pending/early-member-definitions.html
+stage: completed
+status: shipped
+title: Early Member Definitions
 ---
 
 This was an older SID that can be found [here](https://www.scala-lang.org/sid/4)

_sips/sips/internals-of-scala-annotations.md → _sips/sips/005-internals-of-scala-annotations.md

@@ -1,10 +1,12 @@
 ---
+kind: SID
 layout: sip
-title: SID-5 - Internals of Scala Annotations
-stage: completed
-status: shipped
+number: 5
 permalink: /sips/:title.html
 redirect_from: /sips/pending/internals-of-scala-annotations.html
+stage: completed
+status: shipped
+title: Internals of Scala Annotations
 ---
 
 This was an older SID that can be found [here](https://www.scala-lang.org/sid/5)

_sips/sips/scala-2-8-arrays.md → _sips/sips/007-scala-2-8-arrays.md

@@ -1,10 +1,12 @@
 ---
+kind: SID
 layout: sip
-title: SID-7 - Scala 2.8 Arrays
-stage: completed
-status: shipped
+number: 7
 permalink: /sips/:title.html
 redirect_from: /sips/pending/scala-2-8-arrays.html
+stage: completed
+status: shipped
+title: Scala 2.8 Arrays
 ---
 
 *(This is an older SID, its original PDF can be found [here](https://www.scala-lang.org/sid/7))*

_sips/sips/scala-swing-overview.md → _sips/sips/008-scala-swing-overview.md

@@ -1,10 +1,12 @@
 ---
+kind: SID
 layout: sip
-title: SID-8 - Scala Swing Overview
-stage: completed
-status: shipped
+number: 8
 permalink: /sips/:title.html
 redirect_from: /sips/pending/scala-swing-overview.html
+stage: completed
+status: shipped
+title: Scala Swing Overview
 ---
 
 This was an older SID that can be found [here](https://www.scala-lang.org/sid/8)

_sips/sips/scala-specialization.md → _sips/sips/009-scala-specialization.md

@@ -1,10 +1,12 @@
 ---
+kind: SID
 layout: sip
-title: SID-9 - Scala Specialization
-stage: completed
-status: shipped
+number: 9
 permalink: /sips/:title.html
 redirect_from: /sips/pending/scala-specialization.html
+stage: completed
+status: shipped
+title: Scala Specialization
 ---
 
 This was an older SID that can be found [here](https://www.scala-lang.org/sid/9)

_sips/sips/picked-signatures.md → _sips/sips/010-picked-signatures.md

@@ -1,10 +1,12 @@
 ---
+kind: SID
 layout: sip
-title: SID-10 - Storage of pickled Scala signatures in class files
-stage: completed
-status: shipped
+number: 10
 permalink: /sips/:title.html
 redirect_from: /sips/pending/picked-signatures.html
+stage: completed
+status: shipped
+title: Storage of pickled Scala signatures in class files
 ---
 
 This was an older SID that can be found [here](https://www.scala-lang.org/sid/10)

_sips/sips/string-interpolation.md → _sips/sips/011-string-interpolation.md

@@ -1,11 +1,11 @@
 ---
 layout: sip
-title: SIP-11 - String Interpolation
+number: 11
+permalink: /sips/string-interpolation.html
+redirect_from: /sips/pending/string-interpolation.html
 stage: completed
 status: shipped
-vote-status: complete
-permalink: /sips/:title.html
-redirect_from: /sips/pending/string-interpolation.html
+title: String Interpolation
 ---
 
 **By: Martin Odersky**

_sips/sips/implicit-classes.md → _sips/sips/013-implicit-classes.md

@@ -1,10 +1,11 @@
 ---
 layout: sip
-title: SIP-13 - Implicit classes
-stage: completed
-status: shipped
+number: 13
 permalink: /sips/:title.html
 redirect_from: /sips/pending/implicit-classes.html
+stage: completed
+status: shipped
+title: Implicit classes
 ---
 
 **By: Josh Suereth**

_sips/sips/futures-promises.md → _sips/sips/014-futures-promises.md

@@ -1,10 +1,11 @@
 ---
 layout: sip
-title: SIP-14 - Futures and Promises
-stage: completed
-status: shipped
+number: 14
 permalink: /sips/:title.html
 redirect_from: /sips/pending/futures-promises.html
+stage: completed
+status: shipped
+title: Futures and Promises
 ---
 
 **By: Philipp Haller, Aleksandar Prokopec, Heather Miller, Viktor Klang, Roland Kuhn, and Vojin Jovanovic**

_sips/sips/value-classes.md → _sips/sips/015-value-classes.md

@@ -1,10 +1,11 @@
 ---
 layout: sip
-title: SIP-15 - Value Classes
-stage: completed
-status: shipped
+number: 15
 permalink: /sips/:title.html
 redirect_from: /sips/pending/value-classes.html
+stage: completed
+status: shipped
+title: Value Classes
 ---
 
 **By: Martin Odersky and Jeff Olson and Paul Phillips and Joshua Suereth**

_sips/sips/type-dynamic.md → _sips/sips/017-type-dynamic.md

@@ -1,10 +1,11 @@
 ---
 layout: sip
-title: SIP-17 - Type Dynamic
-stage: completed
-status: shipped
+number: 17
 permalink: /sips/:title.html
 redirect_from: /sips/pending/type-dynamic.html
+stage: completed
+status: shipped
+title: Type Dynamic
 ---