Add script & gitlab pages for integration with rpi-imager
This MR contains the same patch as !17 (closed) , but using a branch name without a /
.
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 (closed).