Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge #14731: doc: Improve scripted-diff developer docs
07e286d Improve scripted-diff developer docs (Carl Dong) Pull request description: Instead of verifying all scripted-diffs, provide an example that only verifies all scripted-diffs in commits since `origin/master`. Tree-SHA512: 2faecfd1df04046c77ca2b7426675265f7ed656b2b7e2714ae61c0a38b3ea239f35d2be6d615c5191a21f3a453e37f6a4622bd4558173b768cb73183b56c4d62
- Loading branch information