[riot-notifications] [RIOT-OS/RIOT] dist/tools: Add script for backporting PR's (#8968)

Alexandre Abadie notifications at github.com
Fri Jan 25 17:58:20 CET 2019

aabadie approved this pull request.

I could setup everything by following the README and also tried it with the noop option.
It seems to work. Since it was already used by others, let's assume it works for real.

ACK, just need to wait for the CI.

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/20190125/3cf6eec0/attachment.html>

More information about the notifications mailing list