Jekyll is a ruby package that generates html files from a variety of template languages, and "github pages" will automatically rerun jekyll on your templates when you push changes.
(The reasons we need html pages to be generated from template source are: (1) so the contents of the sidebars will look the same on all the html pages; (2) so the pages that have binary release files can include links to those.)
It might be better for the binary releases files to be posted as github releases. And we'd have to keep the Ubuntu and Debian repositories alive for a while.
Jekyll is a ruby package that generates html files from a variety of template languages, and "github pages" will automatically rerun jekyll on your templates when you push changes.
(The reasons we need html pages to be generated from template source are: (1) so the contents of the sidebars will look the same on all the html pages; (2) so the pages that have binary release files can include links to those.)
It might be better for the binary releases files to be posted as github releases. And we'd have to keep the Ubuntu and Debian repositories alive for a while.
Hat tip: @pdg137.