RFR: Split large webrev pushes

[Erik Duveblad via github.com]

On Tue, 27 Aug 2019 07:15:01 GMT, Robin Westberg via github.com <duke at openjdk.java.net> wrote:

> Hi all,
> 
> Please review the following change that splits the pushing of large webrevs into batches of 1000 files at a time. As a webrev for a change is typically much larger than the actual change, this avoids potential issues with connections timing out when for example connecting through a proxy.
> 
> Best regards,
> Robin
> 
> ----------------
> 
> Commits:
>  - 81b9c9a5:	Split large webrev pushes
> 
> Pull request:
> https://git.openjdk.java.net/skara/pull/87
> 
> Webrev:
> https://webrevs.openjdk.java.net/skara/87/webrev.00
> 
> Patch:
> https://git.openjdk.java.net/skara/pull/87.diff
> 
> Fetch command:
> git fetch https://git.openjdk.java.net/skara pull/87/head:pull/87

This PR has been reviewed by Erik Duveblad via github.com - changes are approved. Review comment:

Looks good, thanks for fixing!

PR: https://git.openjdk.java.net/skara/pull/87