kezhenxu94/mini-github

Enhancement: tag or change items in "Closed PRs" list

johnnychen94 opened this issue · 2 comments

johnnychen94 commented

The current closed PRs list doesn't offer much information because Closed PR is a superset of Merged PR. Take the screenshot as an example: which PRs are closed and which PRs are merged?

A simple and effective solution to this is to list only non-merged closed PRs in the "Closed PRs" list.

Another solution is to tag each item with merged or closed

image

kezhenxu94 commented

nother solution is to tag each item with merged or closed

I prefer this one, what do you think :) because GitHub webpage shows merged prs in the closed tab too

johnnychen94 commented

This's the first workaround I came up with, but since you already provide a Merged list, there's no need to do so.

  • ❤️1