I thought I had deployed it

I committed the fix and pushed, the way I always do. Then I opened the site and nothing had changed.

I checked the deployment list. The most recent one was four hours old, and what I had just pushed wasn't there. The list showed commit hashes and the branch name, which was enough to believe the repository was wired up.

The settings said: This Project is not connected to a Git repository. Every deployment so far had gone out from the command line, and the commit hashes appeared because the tool uploads the git metadata from my machine along with the files.

I connected the repository and pushed again. A build started twelve seconds later.

A label is not a connection. There was only one way to check: open the site myself.