Skip to content
This repository has been archived by the owner on Sep 30, 2021. It is now read-only.

Merged PRs show as closed #193

Closed
eygraber opened this issue Mar 26, 2017 · 1 comment
Closed

Merged PRs show as closed #193

eygraber opened this issue Mar 26, 2017 · 1 comment

Comments

@eygraber
Copy link
Contributor

If I merge a PR it shows in the list of PRs that it was closed. Is it possible to show merged instead?

@k0shk0sh
Copy link
Owner

good catch 😁

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

No branches or pull requests

3 participants