diff --git a/INTEGRATION.md b/INTEGRATION.md new file mode 100644 index 00000000..aadf6f78 --- /dev/null +++ b/INTEGRATION.md @@ -0,0 +1,4 @@ +Don't delete or merge this branch. + +This is just here to create permanent PR request that can be used to test the +GitHub action.