[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:57:02 CEST 2019

cladmi approved this pull request.

ACK, good for me, works as documented. The test works on CI.

Please squash.

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/9e7b865a/attachment.html>

More information about the notifications mailing list