A "dynamic" listing of pinned repositories from GitHub #11
Description
In the design, a list of pinned repos from github is showed, This is not something one wants to maintain, but one way to acheive it would be to use gh-action the fetches this data every night, and rebuild/deploy the page, and uses the commited data set as a way to populate the list.