TIL: You can add “[skip ci]” or “[no ci]” to a git commit message and, when syncing the repository up to GitHub, any on push GitHub Actions won’t run. Useful! github.blog/changelog…