From 4b563c15032c35c175549d19f0f485c5697bbae2 Mon Sep 17 00:00:00 2001
From: ericblackmonGoogle
 <129398736+ericblackmonGoogle@users.noreply.github.com>
Date: Wed, 28 Jun 2023 19:20:40 +0000
Subject: [PATCH] chore: update renamings file for new release (#7219)

* chore: update renamings file for new release

* chore: update renamings file for new release

* chore: update renamings file for new release
---
 scripts/migration/renamings.json5 | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/scripts/migration/renamings.json5 b/scripts/migration/renamings.json5
index 1a729c1cc..ee1c33834 100644
--- a/scripts/migration/renamings.json5
+++ b/scripts/migration/renamings.json5
@@ -1447,8 +1447,7 @@
     },
   ],
 
-  'develop': [
-    // New renamings go here!
+  '10.0.0': [
     {
       oldName: 'Blockly.Warning',
       exports: {
@@ -1577,4 +1576,6 @@
       },
     },
   ],
+
+  'develop': [],
 }