From ac11b232e098fd2e88ea19ba68793249ef0ebde6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E5=A7=9C=E7=8E=89=E8=8E=B9/jiangyuying?= <jiangyuying>
Date: Thu, 30 Jun 2022 09:27:47 +0800
Subject: [PATCH] push

---
 refs/heads/dev-huji | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 refs/heads/dev-huji

diff --git a/refs/heads/dev-huji b/refs/heads/dev-huji
deleted file mode 100644
index 2bc9086d5..000000000
--- a/refs/heads/dev-huji
+++ /dev/null
@@ -1 +0,0 @@
-UPDATE 88487c54998523a9d4574e2d57cf4f1b9a193255 5c80a92076335268f75ad3771d0972ec49b16423
\ No newline at end of file