Ich dachte, ich hätte es veröffentlicht
Ich habe die Korrektur committet und gepusht, wie immer. Dann habe ich die Seite geöffnet, und nichts hatte sich geändert.
Ich öffnete die Liste der Deployments. Das letzte war vier Stunden alt, das gerade Gepushte fehlte. In der Liste standen Commit-Nummern und der Branch-Name, genug, um zu glauben, das Repository sei verbunden.
In den Einstellungen stand: Dieses Projekt ist mit keinem Git-Repository verbunden. Alle bisherigen Deployments waren über die Kommandozeile hinausgegangen, und die Commit-Nummern erschienen, weil das Werkzeug die git-Daten von meinem Rechner mit hochlädt.
Ich habe die Verbindung hergestellt und erneut gepusht. Zwölf Sekunden später begann der Build.
Ein Etikett ist keine Verbindung. Es gab nur einen Weg, das zu prüfen: die Seite selbst öffnen.