[skip changelog] Remove unused GitHub release download stats workflow#1702

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

per1234:remove-github-statsCopy head branch name to clipboard