Che cos'è pr-operations?
Da utilizzare quando si lavora con commenti di revisione PR, si risolvono thread o si risponde a commenti di discussione. Essenziale per comprendere i comandi erk exec corretti per le operazioni del thread PR. Fonte: dagster-io/erk.