[riot-notifications] [RIOT-OS/RIOT] pkg/pkg.mk: avoid git fetch if commit is already there (#16514)

Alexandre Abadie notifications at github.com
Mon May 31 14:28:22 CEST 2021

It seems that this PR is speeding Murdock a bit (no unneeded requests to Git repositories during the builds)

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...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20210531/63a2f5d3/attachment.htm>

More information about the notifications mailing list