Bump pygithub from 2.3.0 to 2.5.0 in /tools
Bumps pygithub from 2.3.0 to 2.5.0.
updated-dependencies:
- dependency-name: pygithub
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] support@github.com