Release tooling: --yes flag, desktop- tag prefix, push-race fix#84

bryanroscoe wants to merge 2 commits into

mainbryanroscoe/shield_optimizer:mainfrom

chore/release-non-interactivebryanroscoe/shield_optimizer:chore/release-non-interactiveCopy head branch name to clipboard