
GitHub has it built-in now: https://github.blog/changelog/2021-02-08-github-actions-skip-pull-request-and-push-workflows-with-skip-ci/ (cherry picked from commit 98fc028d39a4d4830402b7f5565016cba8a3cf38)
GitHub has it built-in now: https://github.blog/changelog/2021-02-08-github-actions-skip-pull-request-and-push-workflows-with-skip-ci/ (cherry picked from commit 98fc028d39a4d4830402b7f5565016cba8a3cf38)