Como fazer um push de um commit vazio no Git

Voê já teve que rodar, novamente, uma pipeline de CI/CD que é iniciada por um commit no repositório, quando não há nenhuma alteração no código fonte para ser "commitada"?

Ora, é só usar o comando abaixo:

git commit --allow-empty -m "ci: aciona pipeline com um commit vazio"

E agora, só precisa fazer o push para o repositório remoto:

git push