[riot-notifications] [RIOT-OS/RIOT] tools/pr_check: add check preventing PKG_SOURCE_LOCAL merges (#11531)

Gaƫtan Harter notifications at github.com
Thu May 16 15:58:58 CEST 2019

Having "self test" during CI is a good thing, the issue is detected and explained in advance.
I imagine you created the PR as you got the problem yourself.

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/20190516/9011702a/attachment.html>

More information about the notifications mailing list