Bump microsoft/PR-Metrics from 1.7.12 to 1.7.13 (#845)

Bumps [microsoft/PR-Metrics](https://github.com/microsoft/pr-metrics) from 1.7.12 to 1.7.13.
- [Release notes](https://github.com/microsoft/pr-metrics/releases)
- [Commits](microsoft/PR-Metrics@v1.7.12...v1.7.13)

---
updated-dependencies:
- dependency-name: microsoft/PR-Metrics
  dependency-version: 1.7.13
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

Author: dependabot[bot]

.github/workflows/build.yml

@@ -25,7 +25,7 @@ jobs:
       with:
         fetch-depth: 0
     - name: PR Metrics
-      uses: microsoft/PR-Metrics@v1.7.12
+      uses: microsoft/PR-Metrics@v1.7.13
       env:
         PR_METRICS_ACCESS_TOKEN: ${{ secrets.GITHUB_TOKEN }}