consider issue triaged if there is a PR already filed for it
Open
- Dominant language
- Python
- Stars
- 0
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Description
example https://github.com/dandi/dandi-cli/pull/1254 fixes https://github.com/dandi/dandi-cli/issues/1253 which had no comments, so was listed as not triaged, but it was since someone acted upon it.
@jwodder mentioned that most likely REST api doesn't provide information about that PR closes issues, so we do not have direct way for that ATM (besides adding graphql query).
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.