From e62d3fd0f128d5ed17c28bbcd4252455035033c3 Mon Sep 17 00:00:00 2001 From: Thilo Fromm Date: Thu, 9 Nov 2023 13:42:48 +0100 Subject: [PATCH] issue-pr-contrib-metrics: improve section header wording Signed-off-by: Thilo Fromm --- .github/workflows/issue-pr-contrib-metrics.yaml | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/.github/workflows/issue-pr-contrib-metrics.yaml b/.github/workflows/issue-pr-contrib-metrics.yaml index ae30c0e..7c84441 100644 --- a/.github/workflows/issue-pr-contrib-metrics.yaml +++ b/.github/workflows/issue-pr-contrib-metrics.yaml @@ -181,25 +181,28 @@ jobs: tail --lines=+2 discussion_metrics.md >> report.md echo -e "\n\n# Issue Metrics" >> report.md + + echo -e "\n## Open Issues Summary" >> report.md # remove full issues list from stats; we only want the summary tail --lines=+2 issues_open.md \ | awk '/^\| Title \| URL \| Author \|/{silent=1} {if (silent==0) print $0}' \ >> report.md - echo -e "\n## New Issues" >> report.md + echo -e "\n## New Issues created (and still open)" >> report.md tail --lines=+2 issues_opened.md >> report.md - echo -e "\n## Closed Issues" >> report.md + echo -e "\n## Issues closed" >> report.md tail --lines=+2 issues_closed.md >> report.md echo -e "\n\n# Pull Requests Metrics" >> report.md + echo -e "\n## Open PRs Summary" >> report.md # remove full PRs list from stats; we only want the summary tail --lines=+2 prs_open.md \ | awk '/^\| Title \| URL \| Author \|/{silent=1} {if (silent==0) print $0}' \ >> report.md - echo -e "\n## New PRs" >> report.md + echo -e "\n## New PRs created (and still open)" >> report.md tail --lines=+2 prs_opened.md >> report.md - echo -e "\n## Closed PRs" >> report.md + echo -e "\n## PRs closed" >> report.md tail --lines=+2 prs_closed.md >> report.md - name: Create issue