Select Git revision
develop
master
v1.0.0
v1.0.1
v1.0.2
v1.0.3
v1.0.3-PAGoDA.1
v1.0.3-PAGoDA.2
Improve handling of internal subrepo in plugins.py.