diff --git a/INTERNALPR.md b/INTERNALPR.md new file mode 100644 index 000000000000..477059647547 --- /dev/null +++ b/INTERNALPR.md @@ -0,0 +1 @@ +This if for verifying that internal PRs are left alone.