Increase max retries for GitHub metrics
_The documentation is not available anymore as the PR was closed or merged._
As GitHub recurrently raises connectivity issues, this PR increases the number of max retries to request GitHub metrics.

Related to:
- #3134

Also related to:
- #4059