tools: update github_reporter to 1.7.1

PR-URL: #54951
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Moshe Atlow <moshe@atlow.co.il>
Reviewed-By: Marco Ippolito <marcoippolito54@gmail.com>

Author: nodejs-github-bot