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

Reply via email to