refactor(staged): derive PR push button state from git upstream relation#743

matt2e wants to merge 2 commits into

mainblock/builderbot:mainfrom

combine-pr-state-and-git-stateblock/builderbot:combine-pr-state-and-git-stateCopy head branch name to clipboard