tree ded1ade1ac843ee617374bb4166e6448cb82c01d
parent 4c7b8800aed292ad77a00d55f213faaa73d9cfd6
author Luca Milanesio <luca.milanesio@gmail.com> 1404378831 +0100
committer David Pursehouse <david.pursehouse@sonymobile.com> 1404387960 +0000

Update to master GitHub API for fixing for user’s private repos list

GitHub API contains a bug when listing user’s private repos: when
list is paginated the listing includes ONLY the user’s public ones.
When list is NOT paginated all the repos are returned instead.

The lucamilanesio’s fork of GitHub API on master (1.57-SNAPSHOT)
contains the fix for this problem. Hopefully will be soon merged
and released by Kohsuke into a 1.57 final.

Change-Id: I3089c61ba5a930425c8162a58711e0b9700ef4e7