-
Notifications
You must be signed in to change notification settings - Fork 15
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
Introduce a News page #193
Conversation
This is just the start. It was time to get back to this! Of course there are far more news to add, but that's a bit time-consuming. First it is better to agree on the format. Thanks. |
OK, I stop here as a v0 of the news page. This is more than enough. I commit myself to updating this in the next week or so following a merge :-). |
a61f39d
to
49e202c
Compare
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.
Looks good to me.
Happy as well, @henryiii? |
OK, it was all fine but the deployment is failing now that the PR got merged. To be tried later again ... |
Looks like a deployment error, and not one caused by the PR itself. |
Yep, tried to re-deploy already and got the same error. I will retry later :-). Thanks. |
Closes #42.