leanprover-community / leanprover-community/leanprover-community.github.io
Add RSS feeds for courses and events like exists for the blog
Nobody has claimed this yet.
- Dominant language
- CSS
- Stars
- 84
- Forks
- 190
- Avg merge
- 1d 12h
- Merged PRs (30d)
- 12
Description
The RSS feed exists for the blog, but I could not find one for the events or courses pages in the website/wiki. This would be convenient for those of us who are not committed enough to want to track the zulip chat regularly, but would like to be easily alerted to new opportunities to learn more. Maybe also add the RSS feed links to the landing page? Thank you.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by locating the existing blog RSS feed and the source pages for events and courses. Determine how those pages are published, then add equivalent feed links and consider the requested landing-page links; done means all three feeds are available and discoverable.
Written by the indexing model from the issue text.
Assessment
- Domain
- web-dev
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100