String gitRepoName(String url) { final name = url.substring(url.lastIndexOf('/') + 1); return name.endsWith('.git') ? name.substring(0, name.length - 4) : name; }