Not about this specific case, but in general, commit activity isn’t the only kind of maintainer activity on GitHub, and it would be nice if there’s a way to qui

Not about this specific case, but in general, commit activity isn’t the only kind of maintainer activity on GitHub, and it would be nice if there’s a way to quickly tell which issues/pull requests have been responded to by maintainers/collaborators and when. Actually it should be fairly easy to write a script for this purpose using the GitHub API.