Add migration token parameters to Jenkins deploy flows

scripts/spacetime-authorize-migration-operator.mjs

@@ -1,6 +1,7 @@
 #!/usr/bin/env node
 
 import {
+  callSpacetimeProcedure,
   callSpacetimeProcedureViaCli,
   ensureProcedureOk,
   parseArgs,
@@ -17,11 +18,16 @@ try {
     operator_identity_hex: options.operatorIdentity,
     note: options.note || '',
   };
-  const result = await callSpacetimeProcedureViaCli(
-    options,
-    'authorize_database_migration_operator',
-    input,
-  );
+  if (options.useHttp && !options.token) {
+    throw new Error('--use-http 需要同时传入 --token。');
+  }
+  const result = options.useHttp
+    ? await callSpacetimeProcedure(options, 'authorize_database_migration_operator', input)
+    : await callSpacetimeProcedureViaCli(
+        options,
+        'authorize_database_migration_operator',
+        input,
+      );
   ensureProcedureOk(result);
 
   console.log(