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

Martine Lenders notifications at github.com
Thu Jan 7 18:54:35 CET 2021

Ping? For adding annotations on commit messages e.g. this is required.

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/20210107/922eb087/attachment.htm>

More information about the notifications mailing list