Hide duplicate "You can also open this in GitHub Desktop" in PRs#3211

fregante merged 1 commit intomasterrefined-github/refined-github:masterfrom

bye-duplicatesrefined-github/refined-github:bye-duplicatesCopy head branch name to clipboard