Server and Studio are the next repos. I created https://issues.apache.org/jira/browse/INFRA-15446 to delete existing mirrors. Afterwards I'll create the Git repos in GitBox and push the content of the existing Git mirror, including all branches and tags.
Please don't commit to Server and Studio meanwhile. Kind Regards, Stefan
