We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
When help site PRs are merged, they are subjected to the same CI/CD as the rest of the repo. This means that they:
It will be a distraction and waste people's time. It's also just annoying
Skip most NewDot CI/CD if a merged PR only changes files under the /docs directory.
/docs
The text was updated successfully, but these errors were encountered:
Going to close this in favor of #9725
Sorry, something went wrong.
roryabraham
No branches or pull requests
Problem
When help site PRs are merged, they are subjected to the same CI/CD as the rest of the repo. This means that they:
Why this is important
It will be a distraction and waste people's time. It's also just annoying
Solution
Skip most NewDot CI/CD if a merged PR only changes files under the
/docs
directory.The text was updated successfully, but these errors were encountered: