Merge branch 'fetchsrclib' into 'master'

fetch_srclib: fetch source code

See merge request fdroid/fdroidserver!1407

.gitlab-ci.yml

@@ -438,7 +438,7 @@ plugin_fetchsrclibs:
     - curl https://gitlab.com/fdroid/fdroiddata/-/archive/${commitid}/fdroiddata-${commitid}.tar.gz
           | tar -xz --directory=fdroiddata --strip-components=1
     - cd fdroiddata
-    - fdroid fetchsrclibs freemap.opentrail:9 --verbose
+    - fdroid fetchsrclibs freemap.opentrail:4 --verbose
     - test -d build/freemap.opentrail/.git
     - test -d build/srclib/andromaps/.git
     - test -d build/srclib/freemaplib/.git

examples/fdroid_fetchsrclibs.py

@@ -29,8 +29,12 @@ def main():
     srclibpaths = []
     for appid, app in apps.items():
         vcs, _ignored = common.setup_vcs(app)
-        vcs.gotorevision('HEAD', refresh=False)
         for build in app.get('Builds', []):
+            vcs.gotorevision(build.commit, refresh=False)
+            if build.submodules:
+                vcs.initsubmodules()
+            else:
+                vcs.deinitsubmodules()
             for lib in build.srclibs:
                 srclibpaths.append(common.getsrclib(lib, srclib_dir, prepare=False, build=build))
     print('Set up srclibs:')