diff --git a/.github/protocol-docs-trigger.txt b/.github/protocol-docs-trigger.txt new file mode 100644 index 00000000..95a7efb2 --- /dev/null +++ b/.github/protocol-docs-trigger.txt @@ -0,0 +1 @@ +Temporary trigger for the protocol documentation migration workflow.