Does it make sense to update onboarding.md and COLLABORATOR_GUIDE.md to permit using Travis results for doc-only changes instead of requiring the CI lite-pipeline job? If that would be permissible, that might smooth the workflow a bit for landing doc PRs. (For one thing, the doc PRs will be land-able without someone manually starting a CI job.)
Does it make sense to update
onboarding.mdandCOLLABORATOR_GUIDE.mdto permit using Travis results for doc-only changes instead of requiring the CI lite-pipeline job? If that would be permissible, that might smooth the workflow a bit for landing doc PRs. (For one thing, the doc PRs will be land-able without someone manually starting a CI job.)