Commit e PR¶
Quando una PR risolve lavoro tracciato, referenzia l'issue nel messaggio di commit:
GitHub chiude automaticamente l'issue al merge (se l'opzione del repo è attiva).
Varianti:
Closes #42— stesso comportamento di chiusura automaticaRefs #42— riferimento senza chiusura automatica
Flusso agente¶
Dopo aver corretto un bug, l'agente dovrebbe:
- Committare con
Fixes #Nquando appropriato - Opzionalmente commentare l'issue:
python scripts/github_issue.py comment N --body "Fix in …" - Chiudere manualmente se serve:
python scripts/github_issue.py close N