Merge pull request gitgitgadget#1793 from dscho/fix-set-app-token

misc-helper set-app-token: _really_ it work with the optional arguments

Author: dscho

script/misc-helper.ts

@@ -393,7 +393,7 @@ const commandOptions = commander.opts<ICommanderOptions>();
         .command("set-app-token")
         .argument("[args...]")
         .description("Set the GitHub App token in the Git config")
-        .action(async (...args: string[]) => {
+        .action(async (args: string[]) => {
             const set = async (options: { appID: number; installationID?: number; name: string }): Promise<void> => {
                 const appName = options.name === config.app.name ? config.app.name : config.app.altname;
                 const appNameKey = `${appName}.privateKey`;