Skip to content

Add configurable homepage announcements - #574

Closed
micuele wants to merge 1 commit into
leanprover-community:mainfrom
micuele:feat/homepage-announcements
Closed

micuele wants to merge 1 commit into
leanprover-community:mainfrom
micuele:feat/homepage-announcements

Conversation

@micuele

@micuele micuele commented Oct 17, 2026

Copy link
Copy Markdown
Contributor

Add homepage notices backed by an operator-managed announcements.json, so announcements can be changed without rebuilding or restarting. Support translated titles and Markdown messages, priority ordering, and scheduled start/end dates.

The relay validates and rereads the file on every request. The homepage refreshes every minute, falls back to English, and retains the last notices during temporary failures while removing expired entries. Include an example configuration and hosting documentation.

Validation: relay and client production builds; all four announcement tests covering scheduling, ordering, validation, and endpoint behavior.

@micuele
micuele marked this pull request as draft October 17, 2026 12:08
@micuele micuele closed this Oct 17, 2026
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.

1 participant