Pin the major platform/core version for updates#153

mirkoCrobu wants to merge 7 commits intomainarduino/arduino-app-cli:mainfrom

issue_738arduino/arduino-app-cli:issue_738Copy head branch name to clipboard