Achei que tinha publicado

Fiz o commit da correção e dei push, como sempre. Abri o site e nada tinha mudado.

Abri a lista de publicações. A última era de quatro horas antes e o que eu acabara de enviar não estava lá. A lista mostrava números de commit e o nome do branch, o suficiente para eu acreditar que estava ligado ao repositório.

Nas configurações estava escrito: Este projeto não está conectado a um repositório Git. Todas as publicações até ali tinham saído da linha de comando, e os números de commit apareciam porque a ferramenta envia junto os dados de git da minha máquina.

Liguei o repositório e dei push de novo. Doze segundos depois a compilação começou.

Ter um rótulo não é estar ligado. Só havia um jeito de conferir: abrir o site.