diff --git a/refs/heads/dev-policy0718 b/refs/heads/dev-policy0718 deleted file mode 100644 index d48d65fa6..000000000 --- a/refs/heads/dev-policy0718 +++ /dev/null @@ -1 +0,0 @@ -UPDATE 2fa0baea929c3a7b56e59c7c922236cb4464954a 6d44bcb02a14870f70921d0dd6d4b8738efd066e \ No newline at end of file