diff --git a/refs/heads/dev-0715 b/refs/heads/dev-0715
deleted file mode 100644
index c007d023d..000000000
--- a/refs/heads/dev-0715
+++ /dev/null
@@ -1 +0,0 @@
-UPDATE 1203327a170c3f536224528d75be1218bf77b217 abca191771f0e47b526fdbe8912f94048c40db06
\ No newline at end of file