Use GitHub variables to store distribution name etc so files can be copied back and forth more easily and new versions be created more easily
Activity
traversaro commentedon Oct 10, 2026
Work ongoing on https://github.com/Tobias-Fischer/robostack-distros .