Skip to content

Conversation

@fregante
Copy link
Member

GitHub added this:

So we can remove most of this:

And now it looks like this:

Related: #963
Partially undoes: #2553

@fregante fregante changed the title Hide duplicate "You can also open this in GitHub Desktop" in PRs’ mer… Hide duplicate "You can also open this in GitHub Desktop" in PRs Jun 10, 2020
@fregante fregante marked this pull request as draft June 10, 2020 10:38
@fregante fregante marked this pull request as ready for review June 10, 2020 10:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

2 participants