Mirror on github

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. Cheers,

Mirror on github

I understand your sentiment, but I don’t think a move to github is likely at this time. I would like to be able to host myself, rather than through SourceForge, ideally. SourceForge has some really useful features, and also hosts the (this) forum, although some of the advertising I find quite misleading (people thinking they are clicking to download FreeRTOS when they are not) so the user experience is not as good as could be.

Mirror on github

Yes you’re right the advertising is really annoying and this long outage is a signal that sf is dying IMO like googlecode some months ago, so I think that having a mirror on github|gitlab|whatever (there are many choices, as you can see here) sounds a good idea at least just for backup. I don’t see the need to stop using this forum anyway. You said that you don’t think it’s time to move to github, can you share your thoughts? (if you don’t mind of course)

Mirror on github

Hi, In case you are still interested know that we have a GitHub mirror of FreeRTOS. At this time the update from the SVN repository is not automated so you might not find there the latest changes imidiatly. https://github.com/Eclo/FreeRTOS Cheers,