Skip to content

馃 prevent push.py from fetching source code

It seems pull.py is currently fetching source-code for srclibs. Here's a fix.

Merge request reports

Loading