Don't forget to write repositories_*.json

Author: Matthias Koeppe

migrate.py

@@ -2889,7 +2889,6 @@ def output_component_frequency(data):
             convert_wiki(source, dest)
     finally:
         if must_convert_issues and not github:
-            dest._requester.flush()
             # Patch in labels
             dest._requester.requestJsonAndCheck(
                 "PATCH",
@@ -2903,6 +2902,7 @@ def output_component_frequency(data):
                          }
                         for label in gh_labels.values()]}
             )
+            dest._requester.flush()
             with open("minimized_issue_comments.json", "w") as f:
                 json.dump(minimized_issue_comments, f, indent=4)