get.py using .json tool name with git version#9155

mcspr wants to merge 3 commits into

esp8266:masteresp8266/Arduino:masterfrom

mcspr:pkg-tool-vs-archivemcspr/esp8266-Arduino:pkg-tool-vs-archiveCopy head branch name to clipboard