G github.blog GitHub Actions: Skip pull request and push workflows with [skip ci] 1 points gprasanth 5 years ago 0 comments