- [ ] Switch to workflow/CI based releases instead of branch-based - [ ] Figure out how to keep a submodule or equivalent to https://github.com/rust-gcc/reporting up to date - [ ] Probably by cloning the repo every-night and redeploying the website? - [x] Figure out how to translate from org-mode to markdown *or* have github pages/jekyll display org-mode properly ---> This can be achieved by using the `gfm` export format for pandoc: `pandoc --from=org --to=gfm <file>.org > <file>.md` For the last point, note that `pandoc` screws up the tables as well as some formatting like C++ code-blocks. So we still have some modifications to do (or maybe we can convert org-mode directly to HTML?)