On Wed, 3 Aug 2016, Martin Liška wrote: > I've installed (r239066) the script which is used by maintainers to > update PRs in a batch mode.
I think it would be good to add a comment at the top that describes what the scripts does and how to invoke the script? Gerald
