[riot-notifications] [RIOT-OS/RIOT] pkg/pkg.mk: Avoid doing a git fetch if we already have the commit. (#11491)

Kaspar Schleiser notifications at github.com
Mon May 20 15:37:29 CEST 2019

This PR is an improvement (unnecessary fetches are avoided). ACK.

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/20190520/d1493b16/attachment-0001.html>

More information about the notifications mailing list