Mirror change notice

In order to make better use of the limited storage space, we have made the following adjustments to the mirror site.

The following mirrors will be removed:

• AOSP
• git-repo
• gcc.git