Credevo di averlo pubblicato

Ho fatto il commit della correzione e l'ho spinto, come sempre. Poi ho aperto il sito e non era cambiato niente.

Ho aperto l'elenco delle pubblicazioni. L'ultima era di quattro ore prima, e quella appena inviata non c'era. L'elenco mostrava i numeri di commit e il nome del ramo: abbastanza per credere che il repository fosse collegato.

Nelle impostazioni c'era scritto: Questo progetto non è collegato a nessun repository Git. Tutte le pubblicazioni fino ad allora erano uscite dalla riga di comando, e i numeri di commit comparivano perché lo strumento carica anche i dati git della mia macchina.

Ho collegato il repository e ho spinto di nuovo. Dodici secondi dopo è partita la compilazione.

Un'etichetta non è un collegamento. C'era un solo modo di verificarlo: aprire il sito.