Regarding your poll - "Migrate to GitHub? [Yes/No]" - I voted "No" because I don't think it is a good idea to just destroy the current infrastructure and just jump to Github - because that will make us 100% dependant on Github and its' problems. Sometimes, although rarely, Github experiences the downtimes and significant slowdowns, sometimes it could be mistakenly blocked at Russia by Roskomnadzor for a few days, also KolibriOS could mistakenly receive a DMCA from some troll company and Github instantly complies with DMCA requests so the KolibriOS repository will be temporarily unavailable, etc. So it would be stupid to just switch to Github. However, we could preserve the current infrastructure while making Github an alternative way to get the people's code into KolibriOS. These ways are not mutually exclusive, they could co-exist
Spot on sir.