Hello, it’s been six days that the svn repository is down, so I would like to discuss the possibilities to have an official mirror on github. I found https://github.com/blalor/FreeRTOS that someone tried it in the past but without success of keep up to date with the official svn repository.
Obviously I would like to see a complete migration to github, but with a mirror for cases like this -repository down for 6 days…- would be great.
Also I’d like to know your opinion about using github as main workflow, because nowadays is easier contribute to an open source project using the github workflow. Migrate the svn repo to git is really easy as it is explained into the readme of the github mirror mentioned above. I am willing to help to make it happen.