GitHub Actions: Skip pull request and push workflows with [skip ci] | Dark Hacker News