GitHub Lecture links in schedule

[rtkg12]

It would be great if the links to the lectures in the GitHub repo were included in the schedule. Since the schedule page and lectures in GitHub follow a consistent naming scheme, this task would be pretty easy to automate.

I have a working Python script ready to add the links to schedule.html or schedule.content.html. I just wanted to know if that's an appropriate feature.