[riot-notifications] [RIOT-OS/RIOT] pkg/pkg.mk: avoid git fetch if commit is already there (#16514)
notifications at github.com
Tue Jun 1 16:07:58 CEST 2021
> It seems that this PR is speeding Murdock a bit (no unneeded requests to Git repositories during the builds)
How can you see this?
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