Che cos'è devtu-github?
Flusso di lavoro GitHub per ToolUniverse: invia il codice in modo sicuro spostando file temporanei, attivando hook di pre-commit, eseguendo test e ripulendo i file in stage. Da utilizzare durante il push su GitHub, la correzione di errori CI o la pulizia prima dei commit. Fonte: mims-harvard/tooluniverse.