small update to ease manual release generation#7467

earlephilhower merged 3 commits intoesp8266:masteresp8266/Arduino:masterfrom

d-a-v:manualreleased-a-v/Arduino:manualreleaseCopy head branch name to clipboard