[riot-notifications] [RIOT-OS/RIOT] dist/tools/ci/github_annotate.sh: allow annotations without files (#15669)

MrKevinWeiss notifications at github.com
Fri Jan 8 10:32:44 CET 2021

@MrKevinWeiss approved this pull request.

Does what it says and has value, please remove the REMOVE ME commit and 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/20210108/73b08f44/attachment.htm>

More information about the notifications mailing list