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

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

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