Has it ever been taken into consideration to migrate the FreeRTOS repository from svn to git? best regards Max

Yes, its been taken into consideration ;o)

And…. Will you migrate to git? best regards Max

Not in the coming months – but keeping an open mind on it.

More than a year has passed. Is something going on with the migration to git? best regards Max

There you are: https://github.com/aws/amazon-freertos

here https://sourceforge.net/p/freertos/code/HEAD/tree/trunk/ I find a more recent version than here https://github.com/aws/amazon-freertos/tree/master/lib/FreeRTOS What I was asking for is, when the official sourceforge repository migrates to git. best regards Max