-
Fabian P. Schmidt authored
The rpi-imager is a tool to easily flash SD cards with images for the Raspberry Pi. It uses the file `rpi-imager.json` to learn about available Raspberry Pi OS distributions. In this commit a script to generate this file in CI and distribute it via GitLab Pages is added. Fixes #11 . Signed-off-by: Fabian P. Schmidt <kerel@mailbox.org>
2699443b