Skip to content

_stream.py: In source_push() don't skip fetching for cached elements

Jürg Billeter requested to merge juerg/source-push-fetch into master

skip_cached skips elements with a cached artifact. However, for source_push() we need the sources of an element and having a cached artifact does not guarantee that the sources are cached, too.

Merge request reports