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

Author: ericblackmonGoogle

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': [],
 }