Ответ для экспертов только:
List<Integer> ints = ...;
String all = new ArrayList<Integer>(ints).toString();
String[] split = all.substring(1, all.length()-1).split(", ");
List<String> strs = Arrays.asList(split);
По моему опыту, существует три случая
1. git remote set-url github(remote repo name) https://github.com/id/a.git
it asks ID/Passwd
2. git remote set-url github https://id@github.com/id/a.git
it only asks Passwd
3. git remote set-url github git://github.com:id/a.git
if you don't have a permission, it complains. So I can't use this for public server of github
, все команды записаны в ".git/config"