Development repo for Simple VS Manager. What's a development repo? Well it's just pure chaos, robots fighting robots etc. Not meant for human eyes. Patches are pushed to the real repo when appropriate. Why public and not private? Because private gets less github action minutes...