PyDev update site aggregator.

Bundles the following PyDev update site(s):

https://github.com/fabioz/Pydev/releases/download/pydev_12_0_0/

Other mirrors that may be manually used are:

http://pydev.sourceforge.net/pydev_update_site/12.0.0

https://pydev-12-0-0.surge.sh



Note: The only files directly available in this page are:

compositeArtifacts.xml and compositeContent.xml

Other files should be fetched by Eclipse based on the information collected from those files.


To check that the mirror it's pointing to is there, it's possible to check for the content.jar/artifacts.jar in it (as it doesn't have an index.html).
i.e.:

https://github.com/fabioz/Pydev/releases/download/pydev_12_0_0/content.jar
https://github.com/fabioz/Pydev/releases/download/pydev_12_0_0/artifacts.jar