merge_pr_49012

Bump pygithub from 2.3.0 to 2.5.0 in /tools

Bumps pygithub from 2.3.0 to 2.5.0.

• Release notes
• Changelog
• Commits

---

updated-dependencies:

• dependency-name: pygithub
  dependency-type: direct:production
  update-type: version-update:semver-minor
  ...

Signed-off-by: dependabot[bot] [email protected]