Open
Description
- 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?
- 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 thegfm
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?)
Metadata
Metadata
Assignees
Labels
No labels