What feature is it?
Add a Closed/Open tip for GitHub PR feeds
What problem does this feature solve?
Currently, if we access something like /github/issue/anope/anope/closed we get something like anope/anope Closed Issues, but not on PRs. That'd be a good addition since shows distinctively that a PR was closed/merged/created
Additional description
No response
This is not a duplicated feature request or new RSS proposal
What feature is it?
Add a
Closed/Opentip for GitHub PR feedsWhat problem does this feature solve?
Currently, if we access something like
/github/issue/anope/anope/closedwe get something likeanope/anope Closed Issues, but not on PRs. That'd be a good addition since shows distinctively that a PR was closed/merged/createdAdditional description
No response
This is not a duplicated feature request or new RSS proposal