Exclude bot's comment from "Time to first response"

[eichisanden]

Proposed Changes

Exclude bot's comment from "Time to first response".

I believe that bots in GitHub actions often respond faster than users, so it's hard to imagine a use case where measuring the time it takes for a bot to respond would be useful.

Readiness Checklist

Author/Contributor

• If documentation is needed for this change, has that been included in this pull request
• run make lint and fix any issues that you have introduced
• run make test and ensure you have test coverage for the lines you are introducing
• Label as either bug, documentation, enhancement, infrastructure, or breaking

[zkoppert]

Were you able to test this one out? I was worried by the documentations description:

A string representing the type of User account this. In all cases should be “User”

[zkoppert]

https://github3.readthedocs.io/en/latest/api-reference/users.html#github3.users.ShortUser.type

[eichisanden]

I have not read the documentation, but I have confirmed that a "bot" is returned when the API is called.

For example.

% gh api \
  -H "Accept: application/vnd.github+json" \
  -H "X-GitHub-Api-Version: 2022-11-28" \
  /users/codesee-maps\[bot\]
{
  "login": "codesee-maps[bot]",
  ...
  "type": "Bot",
  ...
}

As a side note, I hope the api documentation clearly states this. However, the Examples only mentions "User".

https://docs.github.com/en/rest/users/users?apiVersion=2022-11-28#get-a-user

[zkoppert]

Thanks for the contribution @eichisanden and especially for splitting this out to a separate function!

[zkoppert]

I'll publish a new release tomorrow so this gets deployed to folks.