diff --git a/tmp/pr-trigger b/tmp/pr-trigger deleted file mode 100644 index 1c2f433d..00000000 --- a/tmp/pr-trigger +++ /dev/null @@ -1 +0,0 @@ -tmp \ No newline at end of file