chore: update renamings file for new release

ericblackmonGoogle · ericblackmonGoogle · commit e276e912e77c · 2023-08-10T09:19:15.000-04:00
diff --git a/scripts/migration/renamings.json5 b/scripts/migration/renamings.json5
@@ -1595,5 +1595,7 @@
     },
   ],
 
+  '10.1.0': [],
+
   'develop': [],
 }
