example dandi/dandi-cli#1254 fixes dandi/dandi-cli#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).
example dandi/dandi-cli#1254 fixes dandi/dandi-cli#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).