git-Mirror not in sync

[Felix Schumacher]

Hi all,

the git mirror is out of sync. I opened a ticket INFRA-13076 to get it 
resynced.

Regards,

 Felix