tree e73e3fc6f262e207dcfd0c60af36315683563c1c
parent 566ad9d32b98ca1a7281862a340295241c01333c
author Luca Milanesio <luca.milanesio@gmail.com> 1435312094 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1442395302 +0100

Adapt repositories listing to latest GitHub API

A couple of days ago GitHub started to return *ALL* the repos
a user collaborates to when requesting /user/repos whilst previously
returned only the ones owned by current user.

We need to use the v1.70 of Kohsuke's GitHub API in order to filter
out all the repos but the ones really owned by current user.

Change-Id: I9ab56968c44a633efb01834b495444e493638172