Skip to content

fetch_gitlab.py: Fetch source-tarball and doc-tarball correctly

Matthew Pickering requested to merge wip/doc-tarball into master

This will now create the docs/ directory in the fetching step rather than during the upload step.

Merge request reports