Add release workflow for GitHub releases#2189

Goooler wants to merge 3 commits into

diffplug:maindiffplug/spotless:mainfrom

Goooler:mainGoooler/spotless:mainCopy head branch name to clipboard