Sto parlando di modifiche molto piccole come l'ortografia o correzioni sintattiche prive di significato. Dopo aver eseguito una nuova richiesta di pull, a volte vengono eseguiti controlli automatici. Questa è una delle ragioni per cui mi chiedo se sia uno spreco da fare e commettere modifiche minori su github direttamente anziché fare tutto localmente e solo occasionalmente.
Il fatto è che potrei apportare alcune correzioni molto piccole e quindi non fare nulla per molto tempo, quindi non ha senso lasciarle senza commit. D'altra parte, commettere ogni paio di minuti sembra essere eccessivamente compulsivo e dispendioso se i controlli vengono attivati ogni volta e i registri delle attività si riempiono.
Inoltre, è ragionevole usare il sito Github solo se non sono molto coinvolto in un progetto?