Skip to content

Conversation

@bracevac
Copy link
Contributor

@bracevac bracevac commented Nov 26, 2025

Summary

This PR revamps the SIPs section of the documentation site:

  • Title rendering: The page title now dynamically renders as "SIP-XX - Title" by combining the number and title YAML fields (supports optional kind field for SID variants)
  • Simplified listing page: _sips/all.md now only lists completed SIPs, with links to GitHub for pending/rejected/withdrawn proposals
  • Automated sync: Added GitHub Action (.github/workflows/sync-sips.yml) that syncs SIP content daily from scala/improvement-proposals and creates a PR if there are changes

Changes

  • _layouts/root-content-layout.html: Conditional title rendering for SIP pages
  • _sips/all.md: Simplified structure, sorted by number descending.
  • .github/workflows/sync-sips.yml: New workflow for automated content sync
  • _sips/sips/: SIP files in sync with change set of Clean up the SIP files improvement-proposals#120, removed files for non-completed SIPs.
Screenshot 2025-11-26 at 17 40 15 Screenshot 2025-11-26 at 17 40 27

@bracevac bracevac marked this pull request as ready for review November 26, 2025 16:46
@bracevac
Copy link
Contributor Author

I would hold off with merging until after the SIP meeting on Nov 28.

@bishabosha
Copy link
Member

bishabosha commented Nov 26, 2025

I assume the pending sips is removed due the extra complexity in scraping the PR content - but perhaps its still better to put that section/link first as i would think its expected to see the in-progress stuff immediately.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants