Che cos'è github?
Interagisci con repository GitHub, richieste pull, problemi e flussi di lavoro utilizzando la variabile di ambiente GITHUB_TOKEN e la CLI GitHub. Da utilizzare quando si lavora con codice ospitato su GitHub o si gestiscono risorse GitHub. Fonte: openhands/extensions.