Is the git repo still being synched?

[Felix Schumacher]

Hi all,

it seems, that the git repo is not being synched with svn anymore. The 
newest change I can see is from last friday at 20:15.

Could it be related to the svn work?

Regards
 Felix