[riot-notifications] [RIOT-OS/RIOT] makesystem:clone pkgs filterd if no git-cache is availible (#16316)
notifications at github.com
Mon Apr 12 14:02:53 CEST 2021
Maybe it makes more sense to clone with `--depth=1` instead, as we are not really interested in the history of external source for the build process.
E.g. I would expect developers contributing to e.g. NanoCBOR to have the corresponding Repo cloned elsewhere with full history anyway.
Maybe @bergzand and @benpicco have an opinion, as they contribute to other stuff packed in RIOT as well.
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the notifications