pocmatos2021-2-10 07:56:29FYI everyone: https://github.blog/changelog/2021-02-08-github-actions-skip-pull-request-and-push-workflows-with-skip-ci/