Ability to skip builds from certain pull requests


Now that CircleCI has an option to “build only commits associated to pull requests”, it would be nice to have the option to skip certain pull requests we’re not interested in building (because they are created automatically by a CI server).

Can you please skip building pull requests that contain “[ci skip]” (as you do for commits)?