103             if (res != 0) {
104                 System.err.println("error: could not build Skara tooling");
105                 System.exit(1);
106             }
107         } else {
108             System.out.println("no updates found");
109         }
110     }
111 
112     public static void main(String[] args) throws Exception {
113         commands.put("jcheck", GitJCheck::main);
114         commands.put("webrev", GitWebrev::main);
115         commands.put("defpath", GitDefpath::main);
116         commands.put("verify-import", GitVerifyImport::main);
117         commands.put("openjdk-import", GitOpenJDKImport::main);
118         commands.put("fork", GitFork::main);
119         commands.put("pr", GitPr::main);
120         commands.put("token", GitToken::main);
121         commands.put("info", GitInfo::main);
122         commands.put("translate", GitTranslate::main);

123         commands.put("update", GitSkara::update);
124         commands.put("help", GitSkara::usage);
125 
126         var isEmpty = args.length == 0;
127         var command = isEmpty ? "help" : args[0];
128         var commandArgs = isEmpty ? new String[0] : Arrays.copyOfRange(args, 1, args.length);
129         if (commands.containsKey(command)) {
130             commands.get(command).execute(commandArgs);
131         } else {
132             System.err.println("error: unknown command: " + command);
133             usage(args);
134         }
135     }
136 }

103             if (res != 0) {
104                 System.err.println("error: could not build Skara tooling");
105                 System.exit(1);
106             }
107         } else {
108             System.out.println("no updates found");
109         }
110     }
111 
112     public static void main(String[] args) throws Exception {
113         commands.put("jcheck", GitJCheck::main);
114         commands.put("webrev", GitWebrev::main);
115         commands.put("defpath", GitDefpath::main);
116         commands.put("verify-import", GitVerifyImport::main);
117         commands.put("openjdk-import", GitOpenJDKImport::main);
118         commands.put("fork", GitFork::main);
119         commands.put("pr", GitPr::main);
120         commands.put("token", GitToken::main);
121         commands.put("info", GitInfo::main);
122         commands.put("translate", GitTranslate::main);
123         commands.put("wimport", GitWImport::main);
124         commands.put("update", GitSkara::update);
125         commands.put("help", GitSkara::usage);
126 
127         var isEmpty = args.length == 0;
128         var command = isEmpty ? "help" : args[0];
129         var commandArgs = isEmpty ? new String[0] : Arrays.copyOfRange(args, 1, args.length);
130         if (commands.containsKey(command)) {
131             commands.get(command).execute(commandArgs);
132         } else {
133             System.err.println("error: unknown command: " + command);
134             usage(args);
135         }
136     }
137 }