-
Notifications
You must be signed in to change notification settings - Fork 15
add riverside announcement and 2026 news page #550
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
|
Preview your changes here The link checker found some issues! |
Signed-off-by: [email protected] <[email protected]>
|
Preview your changes here The link checker found some issues! |
Signed-off-by: [email protected] <[email protected]>
|
Preview your changes here The link checker found some issues! |
|
@lsf37 Do you know why the news home https://sel4.github.io/website_pr_hosting/PR_550/news/ keeps reverting to 2025? I must be missing a step when I set up news for a new year. |
Signed-off-by: Gerwin Klein <[email protected]>
|
Preview your changes here |
| # Copyright 2026 seL4 Project a Series of LF Projects, LLC. | ||
| # SPDX-License-Identifier: CC-BY-SA-4.0 | ||
| title: Riverside Research joins the seL4 Foundation | ||
| anchor: member26-riverside |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We shouldn't add anchor names any more -- they are now auto-generated to use the date which should make it at lot more uniform to refer to. The only time we need them is for old existing items and if there is more than one news item on the same day.
It was the |
|
The preview still seems to serve 2025 for me, but it correctly shows 2026 locally. If it works for you correctly locally as well, then I think we can ignore the preview, it's probably caching. |
Signed-off-by: bbrcknl <[email protected]>
|
Preview your changes here |
Signed-off-by: [email protected] <[email protected]>
Signed-off-by: [email protected] <[email protected]>
|
Preview your changes here |
1 similar comment
|
Preview your changes here |
* add riverside announcement and 2026 news page * news: set index to 2026, remove old redirects --------- Signed-off-by: [email protected] <[email protected]> Signed-off-by: Gerwin Klein <[email protected]> Co-authored-by: Gerwin Klein <[email protected]>
No description provided.