Skip GitHub API calls if we have no GITHUB_ACCESS_TOKEN
Skip GitHub API calls if we have no GITHUB_ACCESS_TOKEN

italia/developers.italia.it,italia/developers.italia.it,italia/developers.italia.it,italia/developers.italia.it