Correction of the evolution of the Github API to send back Option