Fix an issue with arduino-cli lib install stripping too many characters from library names in git URLs#1462

silvanocerza merged 1 commit intoarduino:masterarduino/arduino-cli:masterfrom

easyas314159:mastereasyas314159/arduino-cli:masterCopy head branch name to clipboard