hi @ all, fyi: i filed a jira ticket for an official github mirror. since that might take some time (because our infra team and the github team are currently working on a better approach), i created an unofficial/intermediate mirror [1]. the sync is done by one of our irian servers once a day (at least until we have got our official mirror).
regards, gerhard [1] https://github.com/DeltaSpike/Mirror
