GitHub Actions workflow not triggering after force push (paths filter gotcha)

Not a native English speaker — corrections welcome! The symptom I was setting up an auto-publish pipeline for this blog: push a markdown file to posts/, and a GitHub Action publishes it to Hashnode.