tree cdc0e51c8a4acd2370502d6237917a479dfa1a0c
parent a1426ce6610e6cecf6dcbeb353811dbcc64c8359
author Luca Milanesio <luca.milanesio@gmail.com> 1590588881 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1590588881 +0100

Fix repositories listing by checking Gerrit repo with Optional

Gerrit v3.2 returns an empty Optional<ProjectState> instead of null.
Fix an issue where the GitHub projects listing was always returning
the empty list because the result of projects.get() was always not null.

Bug: Issue 12827
Change-Id: I41dba04e9bc3c2437ca72be135d4ec3612d8501a