GitHub Actions: Skip pull request and push workflows with [skip ci](github.blog)1 points by gprasanth 5 years ago | 0 commentsNo comments yet