Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: drop ignoring [ci skip] manually
It's officially supported since Feb 2021, see - blog https://github.blog/changelog/2021-02-08-github-actions-skip-pull-request-and-push-workflows-with-skip-ci/ - doc https://docs.github.com/en/actions/managing-workflow-runs/skipping-workflow-runs
- Loading branch information