RE: git/github sync broken

[Stefan Seifert]

>Maybe ask infra? AFAIK We have no control other the sync.

just tried to subscribe on the infrastruct...@apache.org list, failed on first 
attempt, will try again.

stefan